Instances of family s713 solved by depqbf-pre
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s713_d3_sFAIL1200.18
s713_d5_sFAIL1200.19