Instances of family Counter solved by SQBF
QBFEVAL'06

InstanceResultTime
counter_re_4SAT0.03
counter_8SAT0.16
counter_e_8SAT2.71
counter_r_8SAT62.69
counter_re_8SAT84.08