QBF Solver Evaluation Portal
qbflib.orgInstances of family Adder solved by QMRes
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| Adder2-2-c | UNSAT | 0.05 | |
| adder-4-unsat | UNSAT | 0.84 | |
| adder-6-sat | SAT | 1.48 | |
| adder-6-unsat | UNSAT | 11.93 | |
| adder-10-sat | SAT | 32.38 | |
| adder-8-unsat | UNSAT | 85.89 | |
| Adder2-12-s | FAIL | 511.92 | |
| Adder2-16-c | FAIL | 900.54 |