Instances of family k_branch_p solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
k_branch_p-8FAIL10.41
k_branch_p-12FAIL12.41