Instances of family Counter solved by AQME-1NN
QBFEVAL'07

InstanceResultTime
counter_r_8SAT1.13
counter_re_8SAT3.92
counter_e_8SAT4.32