Instances of family k_branch_p solved by CUED1919_NL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
k_branch_p-10FAIL95.23
k_branch_p-11FAIL144.11
k_branch_p-19FAIL368.62
k_branch_p-14FAIL414.32
k_branch_p-12FAIL418.09
k_branch_p-16FAIL419.88
k_branch_p-21FAIL439.79
k_branch_p-18FAIL471.94