Instances of family s713 solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
s713_d2_sSAT12.79