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

InstanceResultTime
cnt14SAT87.64
cnt16rFAIL900