{"seed": 12, "seconds": 480.0, "evaluations": 2853435, "restarts": 1903, "states_with_LB_le_15_checked_exactly": 0, "counterexamples_nu_le_15": [], "best_LB_seen": 16}
