Instances of family k_branch_p solved by preQuantor
QBFEVAL'06

InstanceResultTime
k_branch_p-4FAIL15.93
k_branch_p-8FAIL18.92
k_branch_p-12FAIL21.41