Instances of family Counter solved by yQuaffle
QBFEVAL'07

InstanceResultTime
counter_e_8FAIL600
counter_re_8FAIL600
counter_r_8FAIL600