QBF Solver Evaluation Portal
qbflib.orgInstances of family Adder solved by Nenofex
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| adder-2-sat | SAT | 0.03 | |
| adder-2-unsat | UNSAT | 0.04 | |
| Adder2-2-s | SAT | 0.11 | |
| adder-4-unsat | UNSAT | 0.22 | |
| adder-4-sat | SAT | 0.24 | |
| adder-6-unsat | UNSAT | 0.68 | |
| adder-6-sat | SAT | 0.88 | |
| adder-8-unsat | UNSAT | 1.48 | |
| adder-8-sat | SAT | 2.83 | |
| adder-10-unsat | UNSAT | 2.91 | |
| Adder2-4-s | SAT | 4.38 | |
| adder-10-sat | SAT | 4.75 | |
| adder-12-unsat | UNSAT | 5 | |
| adder-14-unsat | UNSAT | 8.19 | |
| adder-12-sat | SAT | 11.14 | |
| adder-16-unsat | UNSAT | 13.52 | |
| adder-14-sat | SAT | 53.48 | |
| adder-16-sat | SAT | 100.78 | |
| Adder2-2-c | UNSAT | 117.31 | |
| Adder2-6-s | SAT | 377.36 | |
| Adder2-8-c | FAIL | 411.98 | |
| Adder2-4-c | FAIL | 456.39 | |
| Adder2-10-c | FAIL | 473.15 | |
| Adder2-8-s | FAIL | 483.73 | |
| Adder2-6-c | FAIL | 526.23 | |
| Adder2-10-s | FAIL | 564.99 | |
| Adder2-12-c | FAIL | 593.2 | |
| Adder2-16-c | FAIL | 600 | |
| Adder2-16-s | FAIL | 600 | |
| Adder2-14-c | FAIL | 600 | |
| Adder2-12-s | FAIL | 600 | |
| Adder2-14-s | FAIL | 600 |