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

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