Instances of family Counter solved by AIGSolve
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
counter_16SAT43.47
counter_r_16SAT105.05
counter_e_16SAT116.17
counter_re_16SAT164.46