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

InstanceResultTime
mvs16y.unsatUNSAT0.01
mvs16y.satSAT0.02
stay24n.unsatUNSAT0.45
stay24n.satFAIL900