QBF Solver Evaluation Portal
qbflib.orgSota solver results for family amba
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| amba2f9n.sat | quabs___caqe-bloqqer | SAT | 61.03 |  |
| amba2f9n.unsat | quabs___caqe-bloqqer | UNSAT | 2.88 | |