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

InstanceResultTime
counter_8SAT1.73
counter_r_8SAT3.77
counter_e_8SAT4.62
counter_32SAT933.39