Instance | Solver | Result | Time | |
---|---|---|---|---|
adder-10-sat | AIGSolve | SAT | 9.99 | |
adder-12-sat | AIGSolve | SAT | 17.88 | |
adder-12-unsat | AIGSolve | UNSAT | 29.69 | |
adder-14-sat | AIGSolve | SAT | 26.04 | |
Adder2-10-s | caqe_2017_v2 | SAT | 1.01 | |
Adder2-14-s | caqe_2017_v2 | SAT | 3.38 | |
Adder2-16-c | QELL_unit | UNSAT | 0.43 | |
Adder2-16-s | caqe_2017_v2 | SAT | 5.44 | |
Adder2-8-c | QELL_default | UNSAT | 0.07 | |
Adder2-8-s | caqe_2017_v2 | SAT | 0.47 |