QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for k_lin_n
QBFEVAL'05
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| k_lin_n-12 | 5 | 1 | QChaffLearn |
| k_lin_n-16 | 3 | 1 | QChaffLearn |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| k_lin_n-12 | 5 | 1 | QChaffLearn |
| k_lin_n-16 | 3 | 1 | QChaffLearn |