Instances of family Counter solved by ssolveC
QBFEVAL'08

InstanceResultTime
counter_r_2SAT0
counter_2SAT0.01
counter_e_2SAT0.02
counter_4SAT0.03
counter_re_2SAT0.04
counter_r_4SAT1.64
counter_e_4SAT10.54
counter_re_64FAIL600
counter_re_16FAIL600
counter_16FAIL600
counter_e_8FAIL600
counter_r_32FAIL600
counter_re_8FAIL600
counter_e_16FAIL600
counter_e_64FAIL600
counter_re_4FAIL600
counter_64FAIL600
counter_re_32FAIL600
counter_32FAIL600
counter_e_32FAIL600
counter_8FAIL600
counter_r_8FAIL600
counter_r_64FAIL600
counter_r_16FAIL600