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

InstanceResultTime
cnt08eSAT3.8
cnt16SAT87.97
counter_re_32FAIL900
counter_64FAIL900
cnt16rFAIL900