Instances of family s499 solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
s499_d2_sUNSAT0.12
s499_d4_sUNSAT5.74