Instances of family k_branch_p solved by aigqbf_s
QBFEVAL'07

InstanceResultTime
k_branch_p-8FAIL77.23
k_branch_p-12FAIL510.25