Instance | Time | Result |
---|---|---|
adder-14-sat | 26.04 | SAT |
test1_quant_squaring3 | 6.31 | SAT |
test3_quant_squaring4 | 1.31 | UNSAT |
adder-12-unsat | 29.69 | UNSAT |
test1_quant_squaring2 | 1.34 | SAT |
cnt16r | 53.87 | SAT |
ken.oop^2.C-d3 | 10.24 | UNSAT |
ken.oop^2.C-d4 | 127.34 | UNSAT |
ken.flash^11.C-f3 | 120.08 | UNSAT |
genbuf9b4n.sat | 362.6 | SAT |
mult_bool_matrix_10_9_11.unsat | 18.3 | UNSAT |
mult_bool_matrix_17_17_17.unsat | 20.5 | UNSAT |