Instances of family toy solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
mvs16y.satSAT0.05
mvs16y.unsatUNSAT0.35
stay24n.unsatUNSAT1.87
stay24n.satSAT4.85