Instances of family s1269 solved by yQuaffle
QBFEVAL'05

InstanceResultTime
s1269_d8_sFAIL898.93
s1269_d10_sFAIL899.42
s1269_d11_uFAIL899.56
s1269_d2_sFAIL900.47
s1269_d4_sFAIL900.56