Instances of family toy solved by GhostQ-PG_cegar
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
stay24n.satFAIL900.08