<gh_stars>1-10
STATS = [
    {
        "num_node_expansions": 115,
        "plan_cost": 33,
        "plan_length": 33,
        "search_time": 1.51955,
        "total_time": 2.88066
    },
    {
        "num_node_expansions": 147,
        "plan_cost": 38,
        "plan_length": 38,
        "search_time": 1.52352,
        "total_time": 2.65054
    },
    {
        "num_node_expansions": 83,
        "plan_cost": 32,
        "plan_length": 32,
        "search_time": 9.58272,
        "total_time": 12.2076
    },
    {
        "num_node_expansions": 111,
        "plan_cost": 32,
        "plan_length": 32,
        "search_time": 9.98873,
        "total_time": 13.6296
    },
    {
        "num_node_expansions": 190,
        "plan_cost": 42,
        "plan_length": 42,
        "search_time": 0.909292,
        "total_time": 1.7848
    },
    {
        "num_node_expansions": 90,
        "plan_cost": 25,
        "plan_length": 25,
        "search_time": 0.649254,
        "total_time": 1.24016
    },
    {
        "num_node_expansions": 198,
        "plan_cost": 29,
        "plan_length": 29,
        "search_time": 8.47756,
        "total_time": 10.5947
    },
    {
        "num_node_expansions": 183,
        "plan_cost": 31,
        "plan_length": 31,
        "search_time": 8.38651,
        "total_time": 11.4969
    },
    {
        "num_node_expansions": 93,
        "plan_cost": 31,
        "plan_length": 31,
        "search_time": 1.34347,
        "total_time": 2.27817
    },
    {
        "num_node_expansions": 95,
        "plan_cost": 27,
        "plan_length": 27,
        "search_time": 1.28221,
        "total_time": 2.09768
    },
    {
        "num_node_expansions": 204,
        "plan_cost": 29,
        "plan_length": 29,
        "search_time": 2.22005,
        "total_time": 3.4519
    },
    {
        "num_node_expansions": 71,
        "plan_cost": 24,
        "plan_length": 24,
        "search_time": 2.7054,
        "total_time": 4.29633
    },
    {
        "num_node_expansions": 96,
        "plan_cost": 37,
        "plan_length": 37,
        "search_time": 1.09034,
        "total_time": 2.15034
    },
    {
        "num_node_expansions": 176,
        "plan_cost": 53,
        "plan_length": 53,
        "search_time": 14.4494,
        "total_time": 15.8617
    },
    {
        "num_node_expansions": 141,
        "plan_cost": 44,
        "plan_length": 44,
        "search_time": 2.44033,
        "total_time": 3.66671
    },
    {
        "num_node_expansions": 188,
        "plan_cost": 45,
        "plan_length": 45,
        "search_time": 2.08004,
        "total_time": 3.06497
    },
    {
        "num_node_expansions": 104,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 12.6699,
        "total_time": 16.2218
    },
    {
        "num_node_expansions": 120,
        "plan_cost": 33,
        "plan_length": 33,
        "search_time": 12.0031,
        "total_time": 15.9416
    },
    {
        "num_node_expansions": 116,
        "plan_cost": 34,
        "plan_length": 34,
        "search_time": 10.0473,
        "total_time": 12.7267
    },
    {
        "num_node_expansions": 236,
        "plan_cost": 44,
        "plan_length": 44,
        "search_time": 11.7524,
        "total_time": 15.0042
    },
    {
        "num_node_expansions": 83,
        "plan_cost": 26,
        "plan_length": 26,
        "search_time": 0.200055,
        "total_time": 0.533185
    },
    {
        "num_node_expansions": 80,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 0.199435,
        "total_time": 0.509908
    },
    {
        "num_node_expansions": 197,
        "plan_cost": 44,
        "plan_length": 44,
        "search_time": 8.21054,
        "total_time": 10.9979
    },
    {
        "num_node_expansions": 79,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 7.97335,
        "total_time": 9.91099
    },
    {
        "num_node_expansions": 503,
        "plan_cost": 44,
        "plan_length": 44,
        "search_time": 8.30594,
        "total_time": 11.6111
    },
    {
        "num_node_expansions": 70,
        "plan_cost": 27,
        "plan_length": 27,
        "search_time": 5.83513,
        "total_time": 9.01608
    },
    {
        "num_node_expansions": 568,
        "plan_cost": 35,
        "plan_length": 35,
        "search_time": 13.7524,
        "total_time": 16.2753
    },
    {
        "num_node_expansions": 727,
        "plan_cost": 50,
        "plan_length": 50,
        "search_time": 10.4292,
        "total_time": 12.489
    },
    {
        "num_node_expansions": 95,
        "plan_cost": 33,
        "plan_length": 33,
        "search_time": 3.30632,
        "total_time": 4.82603
    },
    {
        "num_node_expansions": 127,
        "plan_cost": 36,
        "plan_length": 36,
        "search_time": 5.30643,
        "total_time": 7.64517
    },
    {
        "num_node_expansions": 89,
        "plan_cost": 26,
        "plan_length": 26,
        "search_time": 3.51652,
        "total_time": 5.19249
    },
    {
        "num_node_expansions": 473,
        "plan_cost": 42,
        "plan_length": 42,
        "search_time": 4.98252,
        "total_time": 7.03653
    },
    {
        "num_node_expansions": 110,
        "plan_cost": 32,
        "plan_length": 32,
        "search_time": 7.31718,
        "total_time": 9.76443
    },
    {
        "num_node_expansions": 76,
        "plan_cost": 20,
        "plan_length": 20,
        "search_time": 7.00019,
        "total_time": 9.0444
    },
    {
        "num_node_expansions": 72,
        "plan_cost": 22,
        "plan_length": 22,
        "search_time": 9.78111,
        "total_time": 12.8104
    },
    {
        "num_node_expansions": 197,
        "plan_cost": 36,
        "plan_length": 36,
        "search_time": 10.2149,
        "total_time": 14.2727
    },
    {
        "num_node_expansions": 97,
        "plan_cost": 26,
        "plan_length": 26,
        "search_time": 9.9506,
        "total_time": 13.3607
    },
    {
        "num_node_expansions": 102,
        "plan_cost": 19,
        "plan_length": 19,
        "search_time": 1.29715,
        "total_time": 2.1678
    },
    {
        "num_node_expansions": 156,
        "plan_cost": 27,
        "plan_length": 27,
        "search_time": 1.32239,
        "total_time": 2.48388
    },
    {
        "num_node_expansions": 74,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 0.305472,
        "total_time": 0.722019
    },
    {
        "num_node_expansions": 165,
        "plan_cost": 38,
        "plan_length": 38,
        "search_time": 0.34928,
        "total_time": 0.793545
    },
    {
        "num_node_expansions": 118,
        "plan_cost": 32,
        "plan_length": 32,
        "search_time": 3.78669,
        "total_time": 5.8288
    },
    {
        "num_node_expansions": 158,
        "plan_cost": 39,
        "plan_length": 39,
        "search_time": 3.47452,
        "total_time": 5.14295
    },
    {
        "num_node_expansions": 139,
        "plan_cost": 35,
        "plan_length": 35,
        "search_time": 6.49413,
        "total_time": 9.22143
    },
    {
        "num_node_expansions": 297,
        "plan_cost": 32,
        "plan_length": 32,
        "search_time": 6.27177,
        "total_time": 8.33308
    },
    {
        "num_node_expansions": 42,
        "plan_cost": 22,
        "plan_length": 22,
        "search_time": 1.76752,
        "total_time": 2.64351
    },
    {
        "num_node_expansions": 132,
        "plan_cost": 37,
        "plan_length": 37,
        "search_time": 1.50295,
        "total_time": 2.38488
    },
    {
        "num_node_expansions": 154,
        "plan_cost": 32,
        "plan_length": 32,
        "search_time": 11.0689,
        "total_time": 13.8928
    },
    {
        "num_node_expansions": 95,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 10.2424,
        "total_time": 13.2197
    },
    {
        "num_node_expansions": 41,
        "plan_cost": 23,
        "plan_length": 23,
        "search_time": 0.0344695,
        "total_time": 0.100622
    },
    {
        "num_node_expansions": 336,
        "plan_cost": 44,
        "plan_length": 44,
        "search_time": 0.0872162,
        "total_time": 0.150262
    },
    {
        "num_node_expansions": 113,
        "plan_cost": 40,
        "plan_length": 40,
        "search_time": 11.047,
        "total_time": 14.8905
    },
    {
        "num_node_expansions": 50,
        "plan_cost": 25,
        "plan_length": 25,
        "search_time": 0.0909707,
        "total_time": 0.260151
    },
    {
        "num_node_expansions": 88,
        "plan_cost": 29,
        "plan_length": 29,
        "search_time": 0.101756,
        "total_time": 0.265187
    },
    {
        "num_node_expansions": 100,
        "plan_cost": 26,
        "plan_length": 26,
        "search_time": 1.21707,
        "total_time": 2.00278
    },
    {
        "num_node_expansions": 129,
        "plan_cost": 31,
        "plan_length": 31,
        "search_time": 1.60971,
        "total_time": 2.6853
    },
    {
        "num_node_expansions": 201,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 7.62775,
        "total_time": 10.7581
    },
    {
        "num_node_expansions": 143,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 6.87255,
        "total_time": 9.68463
    },
    {
        "num_node_expansions": 85,
        "plan_cost": 36,
        "plan_length": 36,
        "search_time": 5.16424,
        "total_time": 8.19339
    },
    {
        "num_node_expansions": 83,
        "plan_cost": 30,
        "plan_length": 30,
        "search_time": 5.52951,
        "total_time": 7.82754
    },
    {
        "num_node_expansions": 78,
        "plan_cost": 23,
        "plan_length": 23,
        "search_time": 1.37678,
        "total_time": 2.04776
    },
    {
        "num_node_expansions": 75,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 1.68215,
        "total_time": 2.5923
    },
    {
        "num_node_expansions": 122,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 0.346952,
        "total_time": 0.769755
    },
    {
        "num_node_expansions": 106,
        "plan_cost": 31,
        "plan_length": 31,
        "search_time": 0.25722,
        "total_time": 0.581832
    },
    {
        "num_node_expansions": 88,
        "plan_cost": 25,
        "plan_length": 25,
        "search_time": 12.0203,
        "total_time": 15.3965
    },
    {
        "num_node_expansions": 187,
        "plan_cost": 30,
        "plan_length": 30,
        "search_time": 7.09345,
        "total_time": 10.0213
    },
    {
        "num_node_expansions": 983,
        "plan_cost": 41,
        "plan_length": 41,
        "search_time": 12.3962,
        "total_time": 15.9089
    },
    {
        "num_node_expansions": 56,
        "plan_cost": 24,
        "plan_length": 24,
        "search_time": 0.12746,
        "total_time": 0.321438
    },
    {
        "num_node_expansions": 87,
        "plan_cost": 23,
        "plan_length": 23,
        "search_time": 0.21437,
        "total_time": 0.466583
    },
    {
        "num_node_expansions": 145,
        "plan_cost": 33,
        "plan_length": 33,
        "search_time": 1.5706,
        "total_time": 2.83633
    },
    {
        "num_node_expansions": 92,
        "plan_cost": 25,
        "plan_length": 25,
        "search_time": 1.29062,
        "total_time": 2.23445
    },
    {
        "num_node_expansions": 170,
        "plan_cost": 42,
        "plan_length": 42,
        "search_time": 9.10875,
        "total_time": 12.6456
    },
    {
        "num_node_expansions": 229,
        "plan_cost": 39,
        "plan_length": 39,
        "search_time": 10.03,
        "total_time": 13.9307
    },
    {
        "num_node_expansions": 127,
        "plan_cost": 23,
        "plan_length": 23,
        "search_time": 12.4931,
        "total_time": 15.514
    },
    {
        "num_node_expansions": 175,
        "plan_cost": 35,
        "plan_length": 35,
        "search_time": 13.8061,
        "total_time": 17.3616
    },
    {
        "num_node_expansions": 366,
        "plan_cost": 36,
        "plan_length": 36,
        "search_time": 10.0894,
        "total_time": 12.3789
    },
    {
        "num_node_expansions": 79,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 6.28536,
        "total_time": 9.43622
    },
    {
        "num_node_expansions": 102,
        "plan_cost": 30,
        "plan_length": 30,
        "search_time": 6.74073,
        "total_time": 9.80674
    },
    {
        "num_node_expansions": 115,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 7.64489,
        "total_time": 9.83101
    },
    {
        "num_node_expansions": 72,
        "plan_cost": 30,
        "plan_length": 30,
        "search_time": 2.52708,
        "total_time": 3.92631
    },
    {
        "num_node_expansions": 196,
        "plan_cost": 33,
        "plan_length": 33,
        "search_time": 3.01004,
        "total_time": 4.3404
    },
    {
        "num_node_expansions": 138,
        "plan_cost": 29,
        "plan_length": 29,
        "search_time": 0.138739,
        "total_time": 0.35734
    },
    {
        "num_node_expansions": 199,
        "plan_cost": 42,
        "plan_length": 42,
        "search_time": 0.149263,
        "total_time": 0.342859
    },
    {
        "num_node_expansions": 131,
        "plan_cost": 30,
        "plan_length": 30,
        "search_time": 6.06636,
        "total_time": 8.62482
    },
    {
        "num_node_expansions": 186,
        "plan_cost": 43,
        "plan_length": 43,
        "search_time": 7.21997,
        "total_time": 9.27097
    },
    {
        "num_node_expansions": 64,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 0.899012,
        "total_time": 1.94635
    },
    {
        "num_node_expansions": 152,
        "plan_cost": 33,
        "plan_length": 33,
        "search_time": 1.05235,
        "total_time": 2.01669
    },
    {
        "num_node_expansions": 125,
        "plan_cost": 42,
        "plan_length": 42,
        "search_time": 0.294542,
        "total_time": 0.472198
    },
    {
        "num_node_expansions": 87,
        "plan_cost": 32,
        "plan_length": 32,
        "search_time": 0.292654,
        "total_time": 0.438181
    },
    {
        "num_node_expansions": 74,
        "plan_cost": 24,
        "plan_length": 24,
        "search_time": 8.24715,
        "total_time": 12.5579
    },
    {
        "num_node_expansions": 132,
        "plan_cost": 29,
        "plan_length": 29,
        "search_time": 10.1846,
        "total_time": 14.5267
    },
    {
        "num_node_expansions": 137,
        "plan_cost": 39,
        "plan_length": 39,
        "search_time": 0.328867,
        "total_time": 0.720538
    },
    {
        "num_node_expansions": 37,
        "plan_cost": 21,
        "plan_length": 21,
        "search_time": 0.225994,
        "total_time": 0.539593
    },
    {
        "num_node_expansions": 110,
        "plan_cost": 27,
        "plan_length": 27,
        "search_time": 5.33947,
        "total_time": 8.06967
    },
    {
        "num_node_expansions": 49,
        "plan_cost": 23,
        "plan_length": 23,
        "search_time": 4.1157,
        "total_time": 6.06598
    },
    {
        "num_node_expansions": 104,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 5.73156,
        "total_time": 7.95656
    },
    {
        "num_node_expansions": 136,
        "plan_cost": 34,
        "plan_length": 34,
        "search_time": 7.14279,
        "total_time": 9.32899
    },
    {
        "num_node_expansions": 144,
        "plan_cost": 34,
        "plan_length": 34,
        "search_time": 4.31966,
        "total_time": 6.14146
    },
    {
        "num_node_expansions": 83,
        "plan_cost": 23,
        "plan_length": 23,
        "search_time": 5.42524,
        "total_time": 6.8219
    },
    {
        "num_node_expansions": 202,
        "plan_cost": 46,
        "plan_length": 46,
        "search_time": 2.77936,
        "total_time": 3.80719
    },
    {
        "num_node_expansions": 74,
        "plan_cost": 30,
        "plan_length": 30,
        "search_time": 1.80476,
        "total_time": 3.2814
    },
    {
        "num_node_expansions": 105,
        "plan_cost": 26,
        "plan_length": 26,
        "search_time": 1.15992,
        "total_time": 1.89645
    },
    {
        "num_node_expansions": 325,
        "plan_cost": 35,
        "plan_length": 35,
        "search_time": 0.954572,
        "total_time": 1.44332
    },
    {
        "num_node_expansions": 95,
        "plan_cost": 32,
        "plan_length": 32,
        "search_time": 0.109454,
        "total_time": 0.281481
    },
    {
        "num_node_expansions": 146,
        "plan_cost": 43,
        "plan_length": 43,
        "search_time": 0.132162,
        "total_time": 0.294961
    },
    {
        "num_node_expansions": 87,
        "plan_cost": 27,
        "plan_length": 27,
        "search_time": 1.78382,
        "total_time": 2.75651
    },
    {
        "num_node_expansions": 146,
        "plan_cost": 36,
        "plan_length": 36,
        "search_time": 1.48961,
        "total_time": 2.60635
    },
    {
        "num_node_expansions": 163,
        "plan_cost": 22,
        "plan_length": 22,
        "search_time": 14.2409,
        "total_time": 17.1426
    },
    {
        "num_node_expansions": 206,
        "plan_cost": 46,
        "plan_length": 46,
        "search_time": 1.46097,
        "total_time": 2.2978
    },
    {
        "num_node_expansions": 328,
        "plan_cost": 61,
        "plan_length": 61,
        "search_time": 1.87457,
        "total_time": 2.9877
    },
    {
        "num_node_expansions": 74,
        "plan_cost": 27,
        "plan_length": 27,
        "search_time": 1.04002,
        "total_time": 1.82948
    },
    {
        "num_node_expansions": 65,
        "plan_cost": 21,
        "plan_length": 21,
        "search_time": 1.14638,
        "total_time": 1.92112
    },
    {
        "num_node_expansions": 159,
        "plan_cost": 53,
        "plan_length": 53,
        "search_time": 4.84498,
        "total_time": 6.03014
    },
    {
        "num_node_expansions": 71,
        "plan_cost": 28,
        "plan_length": 28,
        "search_time": 1.84273,
        "total_time": 2.88676
    },
    {
        "num_node_expansions": 78,
        "plan_cost": 20,
        "plan_length": 20,
        "search_time": 0.0960194,
        "total_time": 0.20644
    },
    {
        "num_node_expansions": 221,
        "plan_cost": 31,
        "plan_length": 31,
        "search_time": 0.136776,
        "total_time": 0.254521
    }
]
num_timeouts = 56
num_timeouts = 0
num_problems = 172
