QBF Solver Evaluation Portal
qbflib.orgInstances of family mA-t2-2qbf-5cnf-160var-2560cl solved by Qbfl
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| 2qbf-5cnf-160var-2560cl.9 | UNSAT | 1.02 | |
| 2qbf-5cnf-160var-2560cl.3 | UNSAT | 60.28 | |
| 2qbf-5cnf-160var-2560cl.2 | UNSAT | 314.56 | |
| 2qbf-5cnf-160var-2560cl.5 | UNSAT | 3742.69 | |
| 2qbf-5cnf-160var-2560cl.8 | UNSAT | 5570.11 | |
| 2qbf-5cnf-160var-2560cl.0 | FAIL | 5996.56 | |
| 2qbf-5cnf-160var-2560cl.1 | FAIL | 5998.86 | |
| 2qbf-5cnf-160var-2560cl.6 | FAIL | 5999.1 | |
| 2qbf-5cnf-160var-2560cl.4 | FAIL | 5999.35 | |
| 2qbf-5cnf-160var-2560cl.7 | FAIL | 5999.43 |