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

InstanceResultTime
counter_e_8SAT10.42
counter_8SAT10.99
counter_r_8SAT16.5
counter_32FAIL176.76