QBF Solver Evaluation Portal
qbflib.orgUnique instances for QbflHR
QBFEVAL'05
| Instance | Time | Result |
|---|---|---|
| 3qbf-5cnf-80var-640cl.3 | 0 | SAT |
| 3qbf-5cnf-160var-1280cl.7 | 0 | SAT |
| 3qbf-5cnf-160var-1280cl.9 | 0.01 | SAT |
| 3qbf-5cnf-160var-1280cl.1 | 0.01 | SAT |
| 3qbf-5cnf-160var-1280cl.0 | 0.01 | SAT |
| 3qbf-5cnf-160var-1280cl.4 | 0 | SAT |
| 3qbf-5cnf-160var-1280cl.3 | 11.42 | SAT |
| 3qbf-5cnf-160var-1280cl.8 | 0 | SAT |
| 5qbf-5cnf-160var-1280cl.3 | 0.01 | SAT |
| 3qbf-5cnf-80var-640cl.2 | 0 | SAT |
| 6qbf-5cnf-40var-320cl.3 | 0.42 | UNSAT |
| horn_400CNF1760_2aQBF_846 | 0.03 | SAT |