{"seed": 11, "seconds": 480.0, "evaluations": 2889463, "restarts": 1927, "states_with_LB_le_15_checked_exactly": 0, "counterexamples_nu_le_15": [], "best_LB_seen": 16}
