Instances of family s713 solved by ssolve-ut
QBFEVAL'06

InstanceResultTime
s713_d2_sFAIL6000.31