QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for jmc_quant
QBFEVAL'10 - Small Hard Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| test4_quant2 | 3 | 1 | AIGSolve |
| test4_quant4 | 2 | 1 | AIGSolve |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| test4_quant2 | 3 | 1 | AIGSolve |
| test4_quant4 | 2 | 1 | AIGSolve |