Instances of family Counter solved by Nenofex
QBFEVAL'08

InstanceResultTime
counter_2SAT0.01
counter_r_2SAT0.02
counter_re_2SAT0.02
counter_e_2SAT0.04
counter_re_4SAT0.09
counter_e_4SAT0.11
counter_4SAT0.17
counter_r_4SAT0.24
counter_8SAT1.86
counter_r_8SAT8.11
counter_e_8SAT9.8
counter_re_8SAT14.89
counter_e_64FAIL53.29
counter_r_64FAIL54.87
counter_r_32FAIL66.14
counter_re_64FAIL67.39
counter_16FAIL73.06
counter_e_32FAIL73.83
counter_re_32FAIL90.83
counter_re_16FAIL111.17
counter_32FAIL175.22
counter_e_16FAIL190.5
counter_64FAIL194.22
counter_r_16FAIL508.12