QBF Solver Evaluation Portal
qbflib.orgInstances of family Adder solved by AQME-1NN
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| adder-2-sat | SAT | 0.83 | |
| adder-2-unsat | UNSAT | 0.89 | |
| Adder2-2-c | UNSAT | 0.93 | |
| Adder2-2-s | SAT | 0.94 | |
| adder-4-sat | SAT | 1.33 | |
| Adder2-4-c | UNSAT | 2.1 | |
| adder-6-sat | SAT | 4.99 | |
| Adder2-6-s | SAT | 7.92 | |
| adder-8-sat | SAT | 12.61 | |
| Adder2-8-s | SAT | 14.72 | |
| adder-10-sat | SAT | 38.67 | |
| adder-12-sat | SAT | 86.34 | |
| Adder2-4-s | SAT | 86.48 | |
| Adder2-6-c | FAIL | 480.27 | |
| Adder2-8-c | FAIL | 491.19 | |
| Adder2-12-c | FAIL | 495.05 | |
| adder-6-unsat | FAIL | 496.94 | |
| adder-4-unsat | FAIL | 498.6 | |
| adder-8-unsat | FAIL | 499.82 | |
| Adder2-10-c | FAIL | 500 | |
| adder-10-unsat | FAIL | 501.42 | |
| Adder2-14-c | FAIL | 503.82 | |
| adder-12-unsat | FAIL | 504.75 | |
| Adder2-16-c | FAIL | 505.75 | |
| adder-14-unsat | FAIL | 511.23 | |
| adder-16-unsat | FAIL | 516.59 | |
| adder-16-sat | FAIL | 532.08 | |
| adder-14-sat | FAIL | 567.43 | |
| Adder2-14-s | FAIL | 586.5 | |
| Adder2-10-s | FAIL | 598.01 | |
| Adder2-16-s | FAIL | 598.46 | |
| Adder2-12-s | FAIL | 598.51 |