QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Counter
QBFEVAL'16 - Solver Portfolio Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| cnt01 | caqe-portfolio | SAT | 0.12 |  |
| cnt02e | caqe-portfolio | SAT | 0.12 | |
| cnt05 | caqe-portfolio | SAT | 0.12 | |
| cnt07e | aqme-10 | SAT | 1.9 | |
| cnt08e | squeezebf+aqme | SAT | 7.07 | |
| cnt10 | caqe-portfolio | SAT | 0.32 | |
| cnt11 | caqe-portfolio | SAT | 0.32 | |
| cnt14 | caqe-portfolio | SAT | 0.52 | |
| counter_e_2 | caqe-portfolio | SAT | 0.12 | |