Instances of family Counter solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cnt16SAT0.69
cnt08eSAT657.13
cnt16rFAIL900
counter_re_32FAIL900
counter_64FAIL900