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

82 B · on GitHub

DONE n=45 ndist=22 deg=[20,24] scanned=1704794 legal_deg=1704794 hits=0 sec=0.946