files / problems / ramsey-r55 / compute / q1 / logs / circ44.txt
DONE n=44 ndist=22 deg=[19,24] scanned=1704794 legal_deg=1704794 hits=0 sec=1.288
files / problems / ramsey-r55 / compute / q1 / logs / circ44.txt
DONE n=44 ndist=22 deg=[19,24] scanned=1704794 legal_deg=1704794 hits=0 sec=1.288