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

InstanceResultTime
stay24n.satSAT5.5