Instances of family s1196 solved by yQuaffle
QBFEVAL'04

InstanceResultTime
s1196_d2_sFAIL79.38
s1196_d3_uFAIL81.88
s1196_d7_uFAIL85.64
s1196_d4_uFAIL93.25
s1196_d6_uFAIL104.41
s1196_d5_uFAIL106.03