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

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