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

InstanceResultTime
s510_d2_sSAT0.25