Instances of family s510 solved by qube4.0
QBFEVAL'06

InstanceResultTime
s510_d2_sFAIL4767.16