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

..
p3_c13_k6_unsat.txt525 B
p5_c1_k1_kissat.txt10 B
p5_c2_k1_kissat.txt10 B
p5_c2_k2_kissat.txt10 B
p5_c3_k1_kissat.txt10 B
p5_c3_k3_kissat.txt10 B
p5_c4_k1_kissat.txt10 B
p5_c4_k2_kissat.txt10 B
p5_c5_k1_kissat.txt10 B
p5_c5_k1_unsat.txt524 B
p5_c5_k2_kissat.txt10 B
p5_c6_k2_drat.txt394 B
p5_c6_k2_kissat.txt16 B
p5_c6_k3_drat.txt397 B
p5_c6_k3_kissat.txt16 B
p5_c7_k3_drat.txt469 B
p5_c7_k3_kissat.txt16 B
p5_c8_k4_kissat.txt10 B
p5_c8_k4_unsat.txt524 B
replay_direct.txt54 B

This folder on GitHub