QBF Solver Evaluation Portal
qbflib.orgSota solver results for family amba
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| amba2f9n.sat | AIGSolve | SAT | 20.06 |  |
| amba2f9n.unsat | rareqs | UNSAT | 1.68 | |
| amba4b9y.unsat | caqe_2017_v2 | UNSAT | 115.08 | |