files / problems / ramsey-r55 / compute / q2 / logs

..
drat_trim_p11_c1.txt387 B
drat_trim_p11_c2.txt387 B
drat_trim_p11.txt389 B
drat_trim_p13_c1.txt387 B
drat_trim_p13_c2.txt388 B
drat_trim_p17_c1.txt387 B
drat_trim_p17.txt386 B
drat_trim_p19_c1.txt386 B
drat_trim_p19.txt382 B
drat_trim_p23.txt386 B
drat_trim_repair_r2.txt387 B
drat_trim_repair_r3.txt390 B
drat_trim_repair_r4.txt397 B
drat_trim_repair_r5.txt400 B
drat_trim_repair_r6.txt399 B
kissat_p11_c1.txt16 B
kissat_p11_c2.txt16 B
kissat_p11.txt16 B
kissat_p13_c1.txt16 B
kissat_p13_c2.txt16 B
kissat_p13.txt0 B
kissat_p17_c1.txt16 B
kissat_p17.txt16 B
kissat_p19_c1.txt16 B
kissat_p19.txt16 B
kissat_p2_k9_sb.txt0 B
kissat_p23.txt16 B
kissat_p3_k6_sb.txt0 B
kissat_p5_sb.txt0 B
kissat_p7_sb.txt0 B
kissat_repair_r2.txt16 B
kissat_repair_r3.txt16 B
kissat_repair_r4.txt16 B
kissat_repair_r5.txt16 B
kissat_repair_r6.txt16 B
local_search_seed20260828.txt1.5 KB
local_search_seed20260829.txt1.9 KB
replay_drat_p11_c1.txt387 B
replay_drat_p11_c2.txt387 B
replay_drat_p11_c3.txt389 B
replay_drat_p13_c1.txt387 B
replay_drat_p13_c2.txt388 B
two_edit_classify.txt144 B
two_edit_extend.txt109 B

This folder on GitHub