Instances of family toy solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
mvs16y.unsatUNSAT0.14
stay24n.unsatUNSAT0.43
mvs16y.satSAT72.32
stay24n.satSAT78.47