Instances of family s27 solved by yQuaffle
QBFEVAL'05

InstanceResultTime
s27_d2_sSAT0.12
s27_d5_uFAIL900.48
s27_d4_uFAIL900.6
s27_d3_uFAIL900.67