QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for s298
QBFEVAL'06
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| s298_d2_s | 8 | 1 | QUANTOR_hc |
| s298_d4_s | 8 | 1 | QUANTOR_hc |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| s298_d2_s | 8 | 1 | QUANTOR_hc |
| s298_d4_s | 8 | 1 | QUANTOR_hc |