QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for wmiforward
QBFEVAL'16 - 2QBF Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| stmt24_7_8 | 20 | 1 | qsts |
| stmt2_976_999 | 11 | 1 | xb-bid-qsts |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| stmt24_7_8 | 20 | 1 | qsts |
| stmt2_976_999 | 11 | 1 | xb-bid-qsts |