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

InstanceResultTime
s510_d41_sFAIL896.5
s510_d36_sFAIL896.71