Instance | Result | Time | |
---|---|---|---|
random-qcir-1000-50-793 | UNSAT | 6.71 | |
random-qcir-1000-50-393 | UNSAT | 10.37 | |
random-qcir-1000-50-68 | UNSAT | 10.51 | |
random-qcir-1000-50-98 | UNSAT | 10.79 | |
random-qcir-1000-50-428 | UNSAT | 11.47 | |
random-qcir-1000-50-930 | UNSAT | 11.58 | |
random-qcir-1000-50-898 | UNSAT | 12 | |
random-qcir-1000-50-983 | UNSAT | 14.28 | |
random-qcir-1000-50-658 | UNSAT | 16.2 | |
random-qcir-1000-50-295 | UNSAT | 17.98 | |
random-qcir-1000-50-743 | UNSAT | 18.84 | |
random-qcir-1000-50-846 | UNSAT | 21.31 | |
random-qcir-1000-50-267 | UNSAT | 23.93 | |
random-qcir-1000-50-970 | UNSAT | 24.18 | |
random-qcir-1000-50-134 | UNSAT | 25.41 | |
random-qcir-1000-50-545 | UNSAT | 25.64 | |
random-qcir-1000-50-275 | UNSAT | 27.5 | |
random-qcir-1000-50-940 | UNSAT | 27.87 | |
random-qcir-1000-50-361 | UNSAT | 33.02 | |
random-qcir-1000-50-456 | UNSAT | 34.2 | |
random-qcir-1000-50-857 | UNSAT | 35.3 | |
random-qcir-1000-50-754 | UNSAT | 42.35 | |
random-qcir-1000-50-441 | UNSAT | 77.96 | |
random-qcir-1000-50-255 | UNSAT | 125.99 | |
random-qcir-1000-50-473 | UNSAT | 216.2 |