QBF Solver Evaluation Portal
qbflib.orgInstances of family Random-qcir-1000-50 solved by GhostQ_PG___plain_qcir_2018
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| random-qcir-1000-50-361 | UNSAT | 1.37 | |
| random-qcir-1000-50-930 | UNSAT | 1.38 | |
| random-qcir-1000-50-98 | UNSAT | 1.67 | |
| random-qcir-1000-50-793 | UNSAT | 1.86 | |
| random-qcir-1000-50-267 | UNSAT | 1.98 | |
| random-qcir-1000-50-295 | UNSAT | 2.12 | |
| random-qcir-1000-50-970 | UNSAT | 2.32 | |
| random-qcir-1000-50-441 | UNSAT | 2.42 | |
| random-qcir-1000-50-393 | UNSAT | 2.6 | |
| random-qcir-1000-50-473 | UNSAT | 3.49 | |
| random-qcir-1000-50-545 | UNSAT | 3.53 | |
| random-qcir-1000-50-456 | UNSAT | 4.08 | |
| random-qcir-1000-50-846 | UNSAT | 4.14 | |
| random-qcir-1000-50-754 | UNSAT | 4.27 | |
| random-qcir-1000-50-428 | UNSAT | 4.56 | |
| random-qcir-1000-50-940 | UNSAT | 4.72 | |
| random-qcir-1000-50-898 | UNSAT | 4.75 | |
| random-qcir-1000-50-68 | UNSAT | 4.88 | |
| random-qcir-1000-50-743 | UNSAT | 4.92 | |
| random-qcir-1000-50-275 | UNSAT | 4.99 | |
| random-qcir-1000-50-134 | UNSAT | 5.35 | |
| random-qcir-1000-50-983 | UNSAT | 6.34 | |
| random-qcir-1000-50-857 | UNSAT | 6.91 | |
| random-qcir-1000-50-658 | UNSAT | 7.8 | |
| random-qcir-1000-50-255 | UNSAT | 10.73 |