Instances of family toy solved by QELL_default
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
bs128y.satFAIL900
mult9.satFAIL900
add20y.satFAIL900
bs128n.satFAIL900