QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for k_path_n
QBFEVAL'06
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| k_path_n-12 | 10 | 1 | QUANTOR_hc |
| k_path_n-16 | 9 | 1 | QUANTOR_hc |
| k_path_n-20 | 9 | 1 | QUANTOR_hc |
| k_path_n-21 | 9 | 1 | QUANTOR_hc |
| k_path_n-8 | 10 | 1 | QUANTOR_hc |