QBF Solver Evaluation Portal
qbflib.orgInstances of family Random-qcir-1000-50 solved by GhostQ_PG___cegar_qcir_2018
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| random-qcir-1000-50-930 | UNSAT | 1.61 | |
| random-qcir-1000-50-983 | UNSAT | 2.24 | |
| random-qcir-1000-50-793 | UNSAT | 2.29 | |
| random-qcir-1000-50-393 | UNSAT | 2.3 | |
| random-qcir-1000-50-940 | UNSAT | 3.13 | |
| random-qcir-1000-50-267 | UNSAT | 4 | |
| random-qcir-1000-50-743 | UNSAT | 4.07 | |
| random-qcir-1000-50-441 | UNSAT | 4.08 | |
| random-qcir-1000-50-857 | UNSAT | 4.39 | |
| random-qcir-1000-50-295 | UNSAT | 4.8 | |
| random-qcir-1000-50-98 | UNSAT | 4.98 | |
| random-qcir-1000-50-545 | UNSAT | 5.18 | |
| random-qcir-1000-50-134 | UNSAT | 5.41 | |
| random-qcir-1000-50-361 | UNSAT | 5.61 | |
| random-qcir-1000-50-275 | UNSAT | 5.65 | |
| random-qcir-1000-50-68 | UNSAT | 5.78 | |
| random-qcir-1000-50-970 | UNSAT | 5.99 | |
| random-qcir-1000-50-456 | UNSAT | 6.42 | |
| random-qcir-1000-50-846 | UNSAT | 6.61 | |
| random-qcir-1000-50-754 | UNSAT | 6.71 | |
| random-qcir-1000-50-658 | UNSAT | 6.98 | |
| random-qcir-1000-50-898 | UNSAT | 7.62 | |
| random-qcir-1000-50-428 | UNSAT | 7.87 | |
| random-qcir-1000-50-255 | UNSAT | 8.75 | |
| random-qcir-1000-50-473 | UNSAT | 10.12 |