Instances of family k_branch_p solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
k_branch_p-5UNSAT0.64
k_branch_p-6UNSAT0.73
k_branch_p-8UNSAT0.92
k_branch_p-10UNSAT1.38
k_branch_p-11UNSAT2.21
k_branch_p-12UNSAT2.42
k_branch_p-14UNSAT15.55
k_branch_p-16UNSAT75.63
k_branch_p-18UNSAT450.66
k_branch_p-21FAIL600