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

InstanceResultTime
k_branch_n-10SAT2.62
k_branch_n-11SAT4.83
k_branch_n-12SAT8.38
k_branch_n-17SAT443.1
k_branch_n-20FAIL900
k_branch_n-21FAIL900