QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for Adder
QBFEVAL'16 - Prenex CNF Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| Adder2-10-s | 1 | 1 | AIGSolve, xb-bid-qsts |
| Adder2-8-s | 7 | 1 | xb-bid-qsts |
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| Adder2-10-s | 1 | 1 | AIGSolve, xb-bid-qsts |
| Adder2-8-s | 7 | 1 | xb-bid-qsts |