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

InstanceResultTime
genbuf9b4n.satFAIL900
genbuf9b4n.unsatFAIL900
genbuf10b4n.satFAIL900
genbuf10b4n.unsatFAIL900