Instances of family s820 solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
s820_d2_sUNSAT0.43