Instances of family k_branch_n solved by caqe-minisat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_branch_n-2SAT0.03
k_branch_n-3SAT0.07
k_branch_n-4SAT0.12
k_branch_n-8SAT0.78
k_branch_n-9SAT0.98
k_branch_n-10SAT1.3
k_branch_n-11SAT1.8
k_branch_n-12SAT2.42
k_branch_n-16SAT3.72
k_branch_n-20FAIL600