QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Counter
QBFEVAL'07
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| counter_e_8 | qSS | SAT | 2.84 |  |
| counter_re_8 | AQME-1NN | SAT | 3.92 | |
| counter_r_8 | QUANTOR_2.15 | SAT | 0.96 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| counter_e_8 | qSS | SAT | 2.84 | |
| counter_re_8 | AQME-1NN | SAT | 3.92 | |
| counter_r_8 | QUANTOR_2.15 | SAT | 0.96 | |