Instances of family toy solved by Caqe-hqspre
Prenex CNF Track

InstanceResultTime
mult9.satSAT0
stay24n.satSAT1.32
bs128n.satSAT2.4
bs128y.satSAT2.4
add20y.satFAIL900