QBF Solver Evaluation Portal
qbflib.orgSota solver results for family amba
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| amba2c7n.sat | Hiqqer2019_2 | SAT | 6.47 |  |
| amba2f9n.sat | Hiqqer2019_2 | SAT | 19.44 | |
| amba3b5y.sat | Hiqqer2019_2 | SAT | 151.11 | |
| amba4b9y.unsat | Caqe-bloqqer-qdo | UNSAT | 171.01 | |