Instances of family toy solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
add20y.satSAT0.1
bs128n.satSAT2.39
bs128y.satSAT2.4
mult9.satFAIL900