Instances of family k_branch_p solved by Qute_rrs
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
k_branch_p-10UNSAT7.96
k_branch_p-11UNSAT16.45
k_branch_p-12UNSAT25.03
k_branch_p-14UNSAT50.77
k_branch_p-16UNSAT64.51
k_branch_p-18UNSAT227.18
k_branch_p-19UNSAT342.23
k_branch_p-21UNSAT397.76