Instances of family s713 solved by QuBE7-m
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s713_d3_sSAT40.65
s713_d5_sSAT128.06