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

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