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

116 B · on GitHub

c group=c11c4 n=44 npairs=21 ninv=1 deg=[19,24]
DONE group=c11c4 n=44 scanned=294262 hits=0 pruned=591004 sec=2.774