Instance | Time | Result |
---|---|---|
adder-10-sat | 32.38 | SAT |
adder-4-unsat | 0.84 | UNSAT |
adder-6-unsat | 11.93 | UNSAT |
adder-8-unsat | 85.89 | UNSAT |
k_d4_n-8 | 1.62 | SAT |
k_d4_n-9 | 2.19 | SAT |
k_d4_n-12 | 4.3 | SAT |
k_d4_n-13 | 4.46 | SAT |
k_d4_n-14 | 5.7 | SAT |
k_d4_n-15 | 6.2 | SAT |
k_d4_n-16 | 7.36 | SAT |
k_grz_n-18 | 601.96 | SAT |
k_grz_p-19 | 2.44 | UNSAT |
k_t4p_n-19 | 22.15 | SAT |
k_t4p_n-14 | 11.21 | SAT |
k_t4p_n-15 | 12.76 | SAT |
k_t4p_n-17 | 16.04 | SAT |
k_t4p_n-13 | 10.74 | SAT |
k_t4p_n-18 | 19.66 | SAT |
k_t4p_p-12 | 2.58 | UNSAT |
k_t4p_p-19 | 5.48 | UNSAT |
k_t4p_p-16 | 4.12 | UNSAT |
k_t4p_p-18 | 5.07 | UNSAT |
test3_quant2 | 10.03 | UNSAT |
test5_quant7 | 2.98 | SAT |
test3_quant_squaring2 | 7.19 | UNSAT |
test5_quant_squaring4 | 1.17 | SAT |
test5_quant_squaring5 | 3.09 | SAT |