QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for irqlkeapclte
QBFEVAL'16 - 2QBF Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| stmt23_66_76 | 3 | 1 | xb-bid-qsts |
| stmt23_92_96 | 2 | 1 | xb-bid-qsts |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| stmt23_66_76 | 3 | 1 | xb-bid-qsts |
| stmt23_92_96 | 2 | 1 | xb-bid-qsts |