QBF Solver Evaluation Portal
qbflib.orgSota solver results for family driver
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| driver_a9n.unsat | QuAbS_2017 | UNSAT | 0.96 |  |
| driver_d9y.sat | Qute_opt993 | SAT | 1.28 | |
| driver_d9y.unsat | QuAbS_2017 | UNSAT | 0.09 | |