QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for k_ph_n
QBFEVAL'06
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| k_ph_n-12 | 14 | 1 | QUANTOR_hc |
| k_ph_n-16 | 13 | 1 | QUANTOR_hc |
| k_ph_n-8 | 18 | 1 | QUANTOR_hc |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| k_ph_n-12 | 14 | 1 | QUANTOR_hc |
| k_ph_n-16 | 13 | 1 | QUANTOR_hc |
| k_ph_n-8 | 18 | 1 | QUANTOR_hc |