QBF Solver Evaluation Portal
qbflib.orgInstances of family Random-qcir-1000-50 solved by Qute_opt617
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| random-qcir-1000-50-793 | UNSAT | 390.08 | |
| random-qcir-1000-50-255 | UNSAT | 570.23 | |
| random-qcir-1000-50-98 | FAIL | 900.01 | |
| random-qcir-1000-50-134 | FAIL | 900.01 | |
| random-qcir-1000-50-970 | FAIL | 900.01 | |
| random-qcir-1000-50-658 | FAIL | 900.01 | |
| random-qcir-1000-50-473 | FAIL | 900.02 | |
| random-qcir-1000-50-940 | FAIL | 900.02 | |
| random-qcir-1000-50-930 | FAIL | 900.02 | |
| random-qcir-1000-50-441 | FAIL | 900.02 | |
| random-qcir-1000-50-857 | FAIL | 900.03 | |
| random-qcir-1000-50-275 | FAIL | 900.03 | |
| random-qcir-1000-50-545 | FAIL | 900.04 | |
| random-qcir-1000-50-393 | FAIL | 900.04 | |
| random-qcir-1000-50-428 | FAIL | 900.04 | |
| random-qcir-1000-50-295 | FAIL | 900.04 | |
| random-qcir-1000-50-267 | FAIL | 900.05 | |
| random-qcir-1000-50-898 | FAIL | 900.06 | |
| random-qcir-1000-50-846 | FAIL | 900.06 | |
| random-qcir-1000-50-361 | FAIL | 900.06 | |
| random-qcir-1000-50-754 | FAIL | 900.07 | |
| random-qcir-1000-50-68 | FAIL | 900.07 | |
| random-qcir-1000-50-456 | FAIL | 900.07 | |
| random-qcir-1000-50-983 | FAIL | 900.08 | |
| random-qcir-1000-50-743 | FAIL | 900.09 |