QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for mA-t2-4qbf-5cnf-20var-160cl
QBFEVAL'05
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| 4qbf-5cnf-20var-160cl.2 | 6 | 2 | QbflHR, QChaffLearn |
| 4qbf-5cnf-20var-160cl.9 | 5 | 1 | QbflHR |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| 4qbf-5cnf-20var-160cl.2 | 6 | 2 | QbflHR, QChaffLearn |
| 4qbf-5cnf-20var-160cl.9 | 5 | 1 | QbflHR |