Instances of family Counter solved by squolem
QBFEVAL'07

InstanceResultTime
counter_re_8FAIL600
counter_r_8FAIL600
counter_e_8FAIL600