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

InstanceResultTime
cnt14FAIL900
cnt16rFAIL900