Instances of family s713 solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
s713_d2_sUNSAT80.09