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

InstanceResultTime
k_branch_p-6UNSAT0.72
k_branch_p-8UNSAT0.97
k_branch_p-10UNSAT1.46
k_branch_p-11UNSAT2.3
k_branch_p-12UNSAT2.51
k_branch_p-14UNSAT15.69
k_branch_p-16UNSAT75.43
k_branch_p-18UNSAT448.74
k_branch_p-5FAIL600
k_branch_p-21FAIL600