QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for k_grz_n
QBFEVAL'06
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| k_grz_n-12 | 11 | 1 | QUANTOR_hc |
| k_grz_n-16 | 8 | 1 | QUANTOR_hc |
| k_grz_n-20 | 7 | 1 | QUANTOR_hc |
| k_grz_n-21 | 7 | 1 | QUANTOR_hc |
| k_grz_n-8 | 19 | 1 | QUANTOR_hc |