QBF Solver Evaluation Portal
qbflib.orgInstances of family Random-qcir-1000-50 solved by PortfolioGhostQQfunQuAbSQute___pf2
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| random-qcir-1000-50-134 | UNSAT | 4.57 | |
| random-qcir-1000-50-267 | UNSAT | 4.59 | |
| random-qcir-1000-50-743 | UNSAT | 4.6 | |
| random-qcir-1000-50-898 | UNSAT | 4.62 | |
| random-qcir-1000-50-98 | UNSAT | 4.62 | |
| random-qcir-1000-50-983 | UNSAT | 4.62 | |
| random-qcir-1000-50-68 | UNSAT | 4.63 | |
| random-qcir-1000-50-255 | UNSAT | 4.64 | |
| random-qcir-1000-50-441 | UNSAT | 4.64 | |
| random-qcir-1000-50-393 | UNSAT | 4.64 | |
| random-qcir-1000-50-361 | UNSAT | 4.64 | |
| random-qcir-1000-50-428 | UNSAT | 4.64 | |
| random-qcir-1000-50-930 | UNSAT | 4.64 | |
| random-qcir-1000-50-970 | UNSAT | 4.64 | |
| random-qcir-1000-50-275 | UNSAT | 4.67 | |
| random-qcir-1000-50-658 | UNSAT | 4.67 | |
| random-qcir-1000-50-295 | UNSAT | 4.68 | |
| random-qcir-1000-50-456 | UNSAT | 4.68 | |
| random-qcir-1000-50-846 | UNSAT | 4.69 | |
| random-qcir-1000-50-754 | UNSAT | 4.69 | |
| random-qcir-1000-50-940 | UNSAT | 4.69 | |
| random-qcir-1000-50-793 | UNSAT | 4.7 | |
| random-qcir-1000-50-473 | UNSAT | 4.72 | |
| random-qcir-1000-50-857 | UNSAT | 4.73 | |
| random-qcir-1000-50-545 | UNSAT | 4.73 |