Instances of family s386 solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
s386_d2_sSAT2.61