Instances of family Counter solved by AIGSolve
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cnt08eSAT4.23
cnt16SAT36.96
cnt16rSAT53.87
counter_re_32FAIL900
counter_64FAIL900