Instances of family k_branch_n solved by Qute_random
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
k_branch_n-10SAT7.29
k_branch_n-11SAT14.72
k_branch_n-12SAT25.91
k_branch_n-17SAT197.31
k_branch_n-20SAT386.35
k_branch_n-21SAT434.94