Instance | Result | Time | |
---|---|---|---|
random-qcir-1000-50-441 | UNSAT | 12.27 | |
random-qcir-1000-50-930 | UNSAT | 18.12 | |
random-qcir-1000-50-754 | UNSAT | 18.34 | |
random-qcir-1000-50-134 | UNSAT | 18.65 | |
random-qcir-1000-50-970 | UNSAT | 21.09 | |
random-qcir-1000-50-857 | UNSAT | 22.12 | |
random-qcir-1000-50-898 | UNSAT | 24.41 | |
random-qcir-1000-50-68 | UNSAT | 25.41 | |
random-qcir-1000-50-428 | UNSAT | 27.61 | |
random-qcir-1000-50-393 | UNSAT | 27.89 | |
random-qcir-1000-50-267 | UNSAT | 28.57 | |
random-qcir-1000-50-983 | UNSAT | 28.87 | |
random-qcir-1000-50-473 | UNSAT | 30.07 | |
random-qcir-1000-50-275 | UNSAT | 30.37 | |
random-qcir-1000-50-98 | UNSAT | 31.64 | |
random-qcir-1000-50-361 | UNSAT | 32.11 | |
random-qcir-1000-50-743 | UNSAT | 32.21 | |
random-qcir-1000-50-846 | UNSAT | 32.89 | |
random-qcir-1000-50-295 | UNSAT | 33.46 | |
random-qcir-1000-50-658 | UNSAT | 37.03 | |
random-qcir-1000-50-940 | UNSAT | 39.87 | |
random-qcir-1000-50-456 | UNSAT | 39.9 | |
random-qcir-1000-50-793 | UNSAT | 44.51 | |
random-qcir-1000-50-545 | UNSAT | 46.3 | |
random-qcir-1000-50-255 | UNSAT | 51.86 |