Instance | Result | Time | |
---|---|---|---|
counter_r_4 | SAT | 0.02 | |
counter_r_2 | SAT | 0.02 | |
counter_2 | SAT | 0.02 | |
counter_re_2 | SAT | 0.02 | |
counter_e_2 | SAT | 0.02 | |
counter_4 | SAT | 0.05 | |
counter_re_4 | SAT | 0.05 | |
counter_e_4 | SAT | 0.05 | |
counter_8 | SAT | 0.29 | |
counter_e_8 | SAT | 23.98 | |
counter_r_8 | SAT | 24.7 | |
counter_re_8 | SAT | 42.92 | |
counter_16 | SAT | 73.45 | |
counter_re_64 | FAIL | 101.69 | |
counter_r_64 | FAIL | 193.49 | |
counter_32 | SAT | 576.47 | |
counter_e_16 | FAIL | 892.38 | |
counter_re_16 | FAIL | 895.1 | |
counter_64 | FAIL | 896.24 | |
counter_re_32 | FAIL | 897.67 | |
counter_r_16 | FAIL | 899 | |
counter_r_32 | FAIL | 899.01 | |
counter_e_32 | FAIL | 899.49 | |
counter_e_64 | FAIL | 899.79 |