Instances of family s820 solved by yQuaffle
QBFEVAL'05

InstanceResultTime
s820_d11_uFAIL899.15
s820_d10_sFAIL899.28
s820_d8_sFAIL900.23
s820_d2_sFAIL900.49
s820_d4_sFAIL900.52