Instances of family toy solved by Caqe-bloqqer-qdo
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
add20y.satSAT0
mult9.satSAT190.23
stay24n.satSAT677.52
bs128n.satFAIL900.05
bs128y.satFAIL900.08