Instance | Result | Time | |
---|---|---|---|
Adder2-4-s | SAT | 0.17 | |
adder-4-sat | SAT | 0.19 | |
adder-4-unsat | FAIL | 12.13 | |
Adder2-6-c | FAIL | 12.58 | |
Adder2-8-c | FAIL | 14.14 | |
adder-8-unsat | FAIL | 16.19 | |
Adder2-4-c | FAIL | 22.6 | |
adder-16-sat | FAIL | 24.72 | |
adder-6-unsat | FAIL | 26.08 | |
adder-12-sat | FAIL | 27.14 | |
Adder2-6-s | SAT | 34.59 | |
adder-6-sat | SAT | 38.51 | |
adder-10-sat | FAIL | 46.7 | |
adder-14-sat | FAIL | 52.53 | |
Adder2-8-s | FAIL | 6000.35 | |
adder-8-sat | FAIL | 6000.79 |