QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for mA-t2-3qbf-5cnf-40var-320cl
QBFEVAL'05
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| 3qbf-5cnf-40var-320cl.7 | 6 | 1 | QChaffLearn |
| 3qbf-5cnf-40var-320cl.8 | 7 | 1 | QChaffLearn |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| 3qbf-5cnf-40var-320cl.7 | 6 | 1 | QChaffLearn |
| 3qbf-5cnf-40var-320cl.8 | 7 | 1 | QChaffLearn |