Instances of family s510 solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
s510_d2_sSAT0.93