Instance | Result | Time | |
---|---|---|---|
adder-2-unsat | UNSAT | 0 | |
adder-4-unsat | UNSAT | 0.01 | |
Adder2-2-c | UNSAT | 0.01 | |
Adder2-2-s | SAT | 0.04 | |
Adder2-14-s | FAIL | 0.07 | |
Adder2-14-c | FAIL | 0.07 | |
adder-2-sat | SAT | 0.07 | |
Adder2-16-c | FAIL | 0.09 | |
Adder2-16-s | FAIL | 0.09 | |
adder-6-unsat | UNSAT | 0.13 | |
adder-8-unsat | UNSAT | 0.27 | |
adder-10-unsat | UNSAT | 0.63 | |
adder-12-unsat | UNSAT | 2.12 | |
adder-14-unsat | UNSAT | 4.83 | |
adder-16-unsat | UNSAT | 22.23 | |
Adder2-4-c | FAIL | 51.22 | |
Adder2-6-c | FAIL | 80.23 | |
Adder2-8-c | FAIL | 138.27 | |
Adder2-10-c | FAIL | 296.92 | |
Adder2-12-c | FAIL | 355.59 | |
adder-10-sat | FAIL | 886.18 | |
adder-12-sat | FAIL | 889.37 | |
Adder2-4-s | FAIL | 889.99 | |
adder-8-sat | FAIL | 891.41 | |
adder-14-sat | FAIL | 891.65 | |
adder-4-sat | FAIL | 893.56 | |
adder-16-sat | FAIL | 893.96 | |
Adder2-6-s | FAIL | 894.55 | |
Adder2-8-s | FAIL | 896.72 | |
adder-6-sat | FAIL | 897.62 | |
Adder2-10-s | FAIL | 898.34 | |
Adder2-12-s | FAIL | 899.1 |