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

InstanceResultTime
k_branch_n-10FAIL13.27
k_branch_n-11FAIL23.6
k_branch_n-12FAIL47.44
k_branch_n-17FAIL675.11
k_branch_n-20FAIL900
k_branch_n-21FAIL900