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

InstanceResultTime
cnt08eSAT107.4
counter_re_32FAIL900
counter_64FAIL900
cnt16FAIL900
cnt16rFAIL900