Instances of family s713 solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
s713_d2_sSAT20.79