files / problems / ramsey-r55 / compute / q1 / logs / cayley_d22.txt

74 B · on GitHub

DONE group=d22 n=44 scanned=469925806 hits=0 pruned=349496800 sec=406.695