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

InstanceResultTime
mvs16y.unsatUNSAT0.01
stay24n.unsatUNSAT0.1
mvs16y.satSAT37.85
stay24n.satFAIL900