Instances of family k_branch_n solved by caqe-minisat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_branch_n-2SAT0.04
k_branch_n-3SAT0.13
k_branch_n-4SAT0.23
k_branch_n-8SAT1.41
k_branch_n-9SAT1.83
k_branch_n-10SAT2.32
k_branch_n-11SAT3.44
k_branch_n-12SAT4.43
k_branch_n-16SAT6.42
k_branch_n-20FAIL599.72