Instances of family s713 solved by qube5.0
QBFEVAL'06

InstanceResultTime
s713_d2_sSAT0.81