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

InstanceResultTime
k_branch_n-2SAT0.04
k_branch_n-3SAT0.14
k_branch_n-4SAT0.22
k_branch_n-8SAT1.5
k_branch_n-9SAT1.85
k_branch_n-10SAT2.51
k_branch_n-11SAT3.34
k_branch_n-12SAT4.7
k_branch_n-16SAT6.43
k_branch_n-20FAIL599.8