QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Counter
QBFEVAL'16 - Prenex non-CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| cnt05 | qsts | SAT | 0.03 |  |
| cnt10 | xb-bid-qsts | SAT | 0.57 | |
| cnt14 | xb-qsts | SAT | 1.47 | |
| counter_e_2 | qsts | SAT | 0.01 | |