Instances of family Counter solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cnt08eSAT219.88
cnt16rFAIL900
counter_re_32FAIL900
counter_64FAIL900
cnt16FAIL900