Instances of family Counter solved by aqme-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
counter_8SAT1.63
counter_r_8SAT1.88
counter_e_8SAT10.61
counter_32FAIL1200