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