Instances of family Counter solved by AQME-C4.5
QBFEVAL'07

InstanceResultTime
counter_r_8SAT1.2
counter_re_8SAT3.94
counter_e_8SAT4.37