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

InstanceResultTime
counter_r_16FAIL12483.7
counter_16FAIL12584.4
counter_e_16FAIL43200
counter_re_16FAIL43200