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

InstanceResultTime
s713_d3_sSAT332.57
s713_d5_sFAIL1200