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