QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for mA-t2-2qbf-5cnf-150var-300cl
QBFEVAL'04
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| 2qbf-5cnf-150var-300cl.1 | 10 | 1 | QUBE-BJ |
| 2qbf-5cnf-150var-300cl.2 | 7 | 1 | QUBE-BJ |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| 2qbf-5cnf-150var-300cl.1 | 10 | 1 | QUBE-BJ |
| 2qbf-5cnf-150var-300cl.2 | 7 | 1 | QUBE-BJ |