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

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