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

InstanceResultTime
s510_d36_sFAIL900
s510_d41_sFAIL900