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

InstanceResultTime
s510_d2_sFAIL414.96