QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Adder
QBFEVAL'04
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| adder-10-sat | QMRes | SAT | 32.38 |  |
| adder-4-unsat | QMRes | UNSAT | 0.84 | |
| adder-6-sat | QMRes | SAT | 1.48 | |
| adder-6-unsat | QMRes | UNSAT | 11.93 | |
| adder-8-unsat | QMRes | UNSAT | 85.89 | |
| Adder2-2-c | QSAT | UNSAT | 0 | |