Instances of family k_branch_p solved by AQME-C4.5
QBFEVAL'07

InstanceResultTime
k_branch_p-8UNSAT1.04
k_branch_p-12UNSAT4.08