Instance | Result | Time | |
---|---|---|---|
Adder2-2-s | SAT | 0.04 | |
adder-2-sat | SAT | 0.06 | |
Adder2-4-s | SAT | 0.21 | |
Adder2-2-c | UNSAT | 0.35 | |
adder-4-sat | SAT | 0.77 | |
adder-2-unsat | UNSAT | 0.95 | |
adder-4-unsat | FAIL | 1.32 | |
Adder2-6-s | SAT | 2.66 | |
Adder2-6-c | FAIL | 5.6 | |
Adder2-8-c | FAIL | 8.09 | |
adder-6-sat | SAT | 8.95 | |
Adder2-4-c | FAIL | 10.75 | |
Adder2-8-s | SAT | 42.49 | |
adder-16-unsat | FAIL | 93.03 | |
Adder2-10-c | FAIL | 133.8 | |
adder-6-unsat | FAIL | 149.65 | |
adder-8-sat | SAT | 209.29 | |
adder-12-unsat | FAIL | 230.62 | |
adder-14-unsat | FAIL | 659.49 | |
adder-8-unsat | FAIL | 678.22 | |
adder-10-unsat | FAIL | 680.04 | |
Adder2-16-c | FAIL | 682.98 | |
Adder2-10-s | FAIL | 803.54 | |
Adder2-14-c | FAIL | 807.05 | |
Adder2-12-s | FAIL | 851.22 | |
Adder2-12-c | FAIL | 900.54 | |
Adder2-16-s | FAIL | 900.59 | |
Adder2-14-s | FAIL | 900.62 | |
adder-16-sat | FAIL | 900.8 | |
adder-10-sat | FAIL | 900.8 | |
adder-12-sat | FAIL | 900.89 | |
adder-14-sat | FAIL | 900.9 |