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

115 B · on GitHub

c group=c3c15 n=45 npairs=22 ninv=0 deg=[20,24]
DONE group=c3c15 n=45 scanned=93976 hits=0 pruned=271560 sec=0.923