QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Counter
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| cnt01 | caqe-picosat-cert | SAT | 0 |  |
| cnt02e | cheq | SAT | 0.02 | |
| cnt05 | depqbf-cert-v2 | SAT | 0.11 | |
| cnt07e | caqe-picosat-cert | SAT | 63.28 | |
| cnt08e | caqe-picosat-cert | SAT | 533.8 | |
| cnt10 | depqbf-cert-v2 | SAT | 20.11 | |
| cnt11 | caqe-picosat-cert | SAT | 109.37 | |
| counter_e_2 | cheq | SAT | 0.02 | |