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

InstanceResultTime
mvs16y.unsatUNSAT0.01
mvs16y.satSAT0.09
stay24n.unsatUNSAT0.12
stay24n.satSAT0.36