Instance | Result | Time | |
---|---|---|---|
Adder2-4-s | SAT | 0.2 | |
adder-4-sat | SAT | 0.45 | |
adder-4-unsat | FAIL | 0.62 | |
adder-8-unsat | FAIL | 2.57 | |
Adder2-6-s | SAT | 39.49 | |
adder-6-sat | SAT | 83.1 | |
Adder2-8-c | FAIL | 175.24 | |
Adder2-4-c | FAIL | 398.7 | |
Adder2-8-s | SAT | 532.62 | |
adder-6-unsat | FAIL | 584.51 | |
Adder2-6-c | FAIL | 595.83 | |
adder-14-sat | FAIL | 5589.39 | |
adder-12-sat | FAIL | 6000.5 | |
adder-10-sat | FAIL | 6000.53 | |
adder-8-sat | FAIL | 6000.72 | |
adder-16-sat | FAIL | 6000.89 |