QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for Blocks
QBFEVAL'16 - Prenex CNF Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| BLOCKS3iii.5 | 23 | 1 | qsts |
| BLOCKS4i.6.4 | 1 | 18 | xb-bid-qsts |
| BLOCKS4ii.7.2 | 1 | 18 | xb-bid-qsts |