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

InstanceResultTime
mvs16y.unsatUNSAT0.13
stay24n.unsatUNSAT2
stay24n.satSAT109.25
mvs16y.satSAT163.61