Instances of family genbuf solved by caqe_2017_v1
QBFEVAL'17 - Prenex 2QBF Track

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