Instance | Solver | Result | Time | |
---|---|---|---|---|
adder-10-sat | sKizzo-0.9-std | SAT | 26.45 | |
adder-12-sat | sKizzo-0.9-std | SAT | 383.5 | |
adder-14-sat | sKizzo-0.9-std | SAT | 588.46 | |
adder-16-sat | sKizzo-0.9-std | SAT | 3833.82 | |
adder-4-sat | SQBF | SAT | 0.17 | |
adder-6-sat | sKizzo-0.9-abs | SAT | 5.8 | |
adder-8-sat | sKizzo-0.9-std | SAT | 8.9 | |
Adder2-4-c | qube4.0 | UNSAT | 0.35 | |
Adder2-4-s | 2clsQ | SAT | 0.16 | |
Adder2-6-s | sKizzo-0.9-abs | SAT | 1.66 | |
Adder2-8-s | sKizzo-0.9-abs | SAT | 15.33 |