Instances of family s713 solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
s713_d2_sSAT17.47
s713_d6_sFAIL349.46
s713_d7_uFAIL617.61
s713_d4_sFAIL899.99