files / problems / ramsey-r55 / compute / q2 / logs / kissat_p17.txt
16 B · on GitHub
s UNSATISFIABLE