QBF Solver Evaluation Portal
qbflib.orgUnique instances for skizzo_v0.4
QBFEVAL'05
| Instance | Time | Result |
|---|---|---|
| 2qbf-5cnf-160var-1280cl.3 | 244.82 | UNSAT |
| 2qbf-5cnf-160var-1280cl.1 | 722.9 | UNSAT |
| 2qbf-5cnf-160var-640cl.8 | 59.72 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| 2qbf-5cnf-160var-1280cl.3 | 244.82 | UNSAT |
| 2qbf-5cnf-160var-1280cl.1 | 722.9 | UNSAT |
| 2qbf-5cnf-160var-640cl.8 | 59.72 | UNSAT |