QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for Counter
QBFEVAL'05
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| counter_16 | 2 | 1 | QChaffLearn |
| counter_2 | 12 | 1 | QChaffLearn |
| counter_32 | 2 | 1 | QChaffLearn |
| counter_4 | 10 | 1 | QChaffLearn |
| counter_8 | 7 | 1 | QChaffLearn |
| counter_e_2 | 12 | 1 | QChaffLearn |
| counter_e_4 | 9 | 1 | QChaffLearn |
| counter_e_8 | 3 | 1 | QChaffLearn |
| counter_re_2 | 12 | 1 | QChaffLearn |
| counter_re_4 | 8 | 1 | QChaffLearn |
| counter_re_8 | 3 | 1 | QChaffLearn |
| counter_r_2 | 12 | 1 | QChaffLearn |
| counter_r_4 | 10 | 1 | QChaffLearn |
| counter_r_8 | 3 | 1 | QChaffLearn |