Instances of family toy solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
add20y.satSAT0.09
bs128n.satSAT2.42
bs128y.satSAT2.42
mult9.satSAT12.74