Instances of family s713 solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
s713_d2_sFAIL600