Instances of family Counter solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
counter_r_4SAT0.02
counter_r_2SAT0.02
counter_2SAT0.02
counter_re_2SAT0.02
counter_e_2SAT0.02
counter_4SAT0.05
counter_re_4SAT0.05
counter_e_4SAT0.05
counter_8SAT0.29
counter_e_8SAT23.98
counter_r_8SAT24.7
counter_re_8SAT42.92
counter_16SAT73.45
counter_re_64FAIL101.69
counter_r_64FAIL193.49
counter_32SAT576.47
counter_e_16FAIL892.38
counter_re_16FAIL895.1
counter_64FAIL896.24
counter_re_32FAIL897.67
counter_r_16FAIL899
counter_r_32FAIL899.01
counter_e_32FAIL899.49
counter_e_64FAIL899.79