Instances of family s641 solved by yQuaffle
QBFEVAL'04

InstanceResultTime
s641_d10_uFAIL89.88
s641_d8_uFAIL90.24
s641_d11_uFAIL92.14
s641_d7_uFAIL106.65
s641_d5_sFAIL107.18
s641_d6_sFAIL109
s641_d3_sFAIL139.23
s641_d2_sFAIL282.31