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

InstanceResultTime
k_branch_n-10SAT0.74
k_branch_n-11SAT1.19
k_branch_n-12SAT2.55
k_branch_n-17SAT601.45
k_branch_n-20FAIL900
k_branch_n-21FAIL900