Instances of family s510 solved by ncQuBE1.1
QBFEVAL'07

InstanceResultTime
s510_d2_sSAT0.2