Instances of family s713 solved by yQuaffle
QBFEVAL'05

InstanceResultTime
s713_d6_sFAIL900.37
s713_d4_sFAIL900.45
s713_d7_uFAIL900.47
s713_d2_sFAIL900.69