QBF Solver Evaluation Portal
qbflib.orgInstances of family Random-qcir-1000-50 solved by PortfolioGhostQQfunQuAbSQute___pfs
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| random-qcir-1000-50-295 | FAIL | 5.59 | |
| random-qcir-1000-50-98 | FAIL | 5.65 | |
| random-qcir-1000-50-361 | FAIL | 5.65 | |
| random-qcir-1000-50-898 | FAIL | 5.69 | |
| random-qcir-1000-50-940 | FAIL | 5.71 | |
| random-qcir-1000-50-857 | FAIL | 5.73 | |
| random-qcir-1000-50-846 | FAIL | 5.74 | |
| random-qcir-1000-50-393 | FAIL | 5.74 | |
| random-qcir-1000-50-754 | FAIL | 5.75 | |
| random-qcir-1000-50-793 | FAIL | 5.75 | |
| random-qcir-1000-50-255 | FAIL | 5.75 | |
| random-qcir-1000-50-970 | FAIL | 5.75 | |
| random-qcir-1000-50-456 | FAIL | 5.76 | |
| random-qcir-1000-50-658 | FAIL | 5.77 | |
| random-qcir-1000-50-68 | FAIL | 5.77 | |
| random-qcir-1000-50-983 | FAIL | 5.78 | |
| random-qcir-1000-50-545 | FAIL | 5.78 | |
| random-qcir-1000-50-267 | FAIL | 5.78 | |
| random-qcir-1000-50-275 | FAIL | 5.78 | |
| random-qcir-1000-50-930 | FAIL | 5.79 | |
| random-qcir-1000-50-473 | FAIL | 5.79 | |
| random-qcir-1000-50-428 | FAIL | 5.8 | |
| random-qcir-1000-50-743 | FAIL | 5.81 | |
| random-qcir-1000-50-134 | FAIL | 5.81 | |
| random-qcir-1000-50-441 | FAIL | 5.91 |