Instances of family toy solved by depqbf_pre_QxQBH
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
mult9.satSAT0
add20y.satSAT0
stay24n.satSAT1.61
bs128n.satSAT3.06
bs128y.satSAT3.11