files / problems / vdw-w27 / compute / flip_sat.jsonl

427 B · on GitHub

{"flips": 1, "sat": false, "target": 3704, "timeout": false}
{"flips": 2, "sat": false, "target": 3704, "timeout": false}
{"flips": 1, "sat": false, "target": 3704, "timeout": false}
{"flips": 2, "sat": false, "target": 3704, "timeout": false}
{"flips": 3, "sat": false, "target": 3704, "timeout": false}
{"flips": 4, "sat": false, "target": 3704, "timeout": false}
{"flips": 6, "sat": false, "target": 3704, "timeout": false}