Instances of family genbuf solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
genbuf12b4y.satFAIL900
genbuf14b4y.satFAIL900
genbuf7b4n.satFAIL900
genbuf8b4n.satFAIL900