Instances of family s510 solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
s510_d2_sUNSAT0.13