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

InstanceResultTime
cnt16SAT0.12
cnt08eSAT37.76
cnt16rFAIL900
counter_re_32FAIL900
counter_64FAIL900