STATS = [
    {
        "num_node_expansions": 5123,
        "plan_cost": 133,
        "plan_length": 133,
        "search_time": 21.7513,
        "total_time": 23.5153
    },
    {
        "num_node_expansions": 5623,
        "plan_cost": 145,
        "plan_length": 145,
        "search_time": 16.9652,
        "total_time": 18.695
    },
    {
        "num_node_expansions": 6898,
        "plan_cost": 140,
        "plan_length": 140,
        "search_time": 18.7068,
        "total_time": 19.817
    },
    {
        "num_node_expansions": 8554,
        "plan_cost": 135,
        "plan_length": 135,
        "search_time": 22.7187,
        "total_time": 24.5747
    }
]
num_timeouts = 51
num_timeouts = 0
num_problems = 55
