QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ITC99
QBFEVAL'16 - Solver Portfolio Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| b12_PR_9_2 | caqe-portfolio | SAT | 0.52 |  |
| b20_PR_7_20 | squeezebf+aqme | SAT | 8.93 | |
| b20_PR_7_90 | squeezebf+aqme | UNSAT | 1.08 | |