Instance | Result | Time | |
---|---|---|---|
Adder2-4-s | SAT | 0.19 | |
adder-4-sat | SAT | 0.21 | |
adder-4-unsat | FAIL | 12.48 | |
Adder2-6-c | FAIL | 12.69 | |
Adder2-8-c | FAIL | 14.68 | |
adder-8-unsat | FAIL | 16.57 | |
Adder2-4-c | FAIL | 22.88 | |
adder-16-sat | FAIL | 24.62 | |
adder-6-unsat | FAIL | 25.69 | |
adder-12-sat | FAIL | 27.46 | |
Adder2-6-s | SAT | 34.83 | |
adder-6-sat | SAT | 38.34 | |
adder-10-sat | FAIL | 46.96 | |
adder-14-sat | FAIL | 48.96 | |
Adder2-8-s | FAIL | 600.33 | |
adder-8-sat | FAIL | 600.54 |