Instances of family Counter solved by PortfolioGhostQQfunQuAbSQute___pfs
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
cnt14SAT71.95
cnt16rFAIL900.01