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

InstanceResultTime
mvs16y.unsatUNSAT0.12
stay24n.unsatUNSAT5.99
mvs16y.satFAIL900
stay24n.satFAIL900