Instance | Solver | Result | Time | |
---|---|---|---|---|
adder-10-sat | qZilla | SAT | 37.96 | |
adder-12-sat | qZilla | SAT | 115.94 | |
adder-14-sat | qSS | SAT | 587.71 | |
adder-4-sat | EBDDRES | SAT | 0.05 | |
adder-6-sat | EBDDRES | SAT | 0.86 | |
adder-8-sat | preQuel_sKizzo-0.10 | SAT | 8.95 | |
Adder2-4-c | AQME-1NN | UNSAT | 0.93 | |
Adder2-4-s | QUANTOR_2.15 | SAT | 0.17 | |
Adder2-6-s | sKizzo-0.10-qck | SAT | 1.2 | |
Adder2-8-s | preQuel_sKizzo-0.10 | SAT | 11.17 |