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

InstanceResultTime
cnt16SAT0.73
cnt08eSAT46.04
cnt16rFAIL900
counter_re_32FAIL900
counter_64FAIL900