Instances of family s713 solved by ncQuBE1.0
QBFEVAL'07

InstanceResultTime
s713_d2_sSAT0.44