Instance | Result | Time | |
---|---|---|---|
random-qcir-1000-50-940 | UNSAT | 12.96 | |
random-qcir-1000-50-545 | UNSAT | 16.59 | |
random-qcir-1000-50-393 | UNSAT | 20.28 | |
random-qcir-1000-50-898 | UNSAT | 24.46 | |
random-qcir-1000-50-98 | UNSAT | 25.19 | |
random-qcir-1000-50-983 | UNSAT | 27.89 | |
random-qcir-1000-50-930 | UNSAT | 28.15 | |
random-qcir-1000-50-267 | UNSAT | 29.32 | |
random-qcir-1000-50-275 | UNSAT | 29.59 | |
random-qcir-1000-50-857 | UNSAT | 32.28 | |
random-qcir-1000-50-793 | UNSAT | 33.64 | |
random-qcir-1000-50-970 | UNSAT | 34.4 | |
random-qcir-1000-50-68 | UNSAT | 36.99 | |
random-qcir-1000-50-255 | UNSAT | 38.11 | |
random-qcir-1000-50-441 | UNSAT | 38.19 | |
random-qcir-1000-50-743 | UNSAT | 38.27 | |
random-qcir-1000-50-295 | UNSAT | 42.09 | |
random-qcir-1000-50-846 | UNSAT | 52.19 | |
random-qcir-1000-50-658 | UNSAT | 58.4 | |
random-qcir-1000-50-473 | UNSAT | 58.99 | |
random-qcir-1000-50-428 | UNSAT | 62.76 | |
random-qcir-1000-50-754 | UNSAT | 68.58 | |
random-qcir-1000-50-134 | UNSAT | 99.9 | |
random-qcir-1000-50-361 | UNSAT | 141.8 | |
random-qcir-1000-50-456 | FAIL | 900.02 |