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

InstanceResultTime
s510_d41_sFAIL883.82
s510_d36_sFAIL888.68