Instances of family genbuf solved by Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
genbuf10b4n.satFAIL877.61
genbuf9b4n.satFAIL877.92
genbuf10b4n.unsatFAIL878.92
genbuf9b4n.unsatFAIL878.92