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

InstanceResultTime
cnt16SAT0.89
cnt08eSAT2.89
counter_re_32FAIL881.54
counter_64FAIL882.93
cnt16rFAIL887.66