QBF Solver Evaluation Portal
qbflib.orgSota solver results for family driver
QBFEVAL'19 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| driver_a8y.unsat | quabs___caqe-hqspre | UNSAT | 0 |  |
| driver_a9y.unsat | quabs___caqe-hqspre | UNSAT | 0 | |