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

99 B · on GitHub

idx side op u v sat nodes
DONE graphs_pairs=328 tried=564816 flip_ok=4080 extensions=0 sec=183.310