files / problems / ramsey-r55 / compute / q5 / logs / replay_direct.txt

115 B · on GitHub

VERIFIED p5_c4_k4
{"found_43_graph": false, "interval_moved": false, "pending": 130, "timeouts": 8, "unsat": 1}
OK