QBF Solver Evaluation Portal
qbflib.orgSota solver results for family driver
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| driver_a9n.sat | rev_qfun0.1 | SAT | 0.18 |  |
| driver_a9n.unsat | rareqs | UNSAT | 0.11 | |
| driver_d9y.sat | qesto | SAT | 0.04 | |
| driver_d9y.unsat | qesto | UNSAT | 0.04 | |