Instances of family toy solved by qesto
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
mvs16y.satSAT0.01
stay24n.unsatUNSAT0.08
mvs16y.unsatUNSAT0.14
stay24n.satFAIL900