Instances of family k_branch_p solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
k_branch_p-8UNSAT1.12
k_branch_p-12UNSAT4.14