QBF Solver Evaluation Portal
qbflib.orgInstances of family Adder solved by openQbf
QBFEVAL'04
| Instance | Result | Time | |
|---|---|---|---|
| Adder2-2-c | UNSAT | 0.29 | |
| adder-10-sat | FAIL | 901 | |
| adder-6-sat | FAIL | 901 | |
| Adder2-16-c | FAIL | 901 | |
| Adder2-12-s | FAIL | 901 | |
| adder-4-unsat | FAIL | 901.01 | |
| adder-8-unsat | FAIL | 901.01 | |
| adder-6-unsat | FAIL | 901.01 |