Instances of family s27 solved by yQuaffle
QBFEVAL'06

InstanceResultTime
s27_d3_uFAIL5999.92
s27_d4_uFAIL5999.98
s27_d5_uFAIL6000.12