Instances of family toy solved by rev_qfun0.1
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
add20y.satSAT0.01
bs128y.satSAT0.14
bs128n.satSAT0.15
mult9.satFAIL900