Instances of family s510 solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
s510_d2_sSAT1.08