Instances of family k_branch_p solved by yQuaffle
QBFEVAL'07

InstanceResultTime
k_branch_p-12FAIL600
k_branch_p-8FAIL600