Instances of family k_branch_n solved by predyndep
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
k_branch_n-10SAT2.59
k_branch_n-11SAT3.51
k_branch_n-12SAT4.37
k_branch_n-17SAT9.3
k_branch_n-20SAT13.64
k_branch_n-21SAT17.38