Instances of family Counter solved by qSS
QBFEVAL'07

InstanceResultTime
counter_e_8SAT2.84
counter_r_8SAT54.68
counter_re_8SAT153.76