Instances of family k_branch_p solved by semprop
QBFEVAL'05

InstanceResultTime
k_branch_p-4UNSAT0.02
k_branch_p-8UNSAT2.57
k_branch_p-12UNSAT186.87
k_branch_p-20FAIL900.96
k_branch_p-21FAIL900.97
k_branch_p-16FAIL900.98