Instances of family k_branch_n solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
k_branch_n-17FAIL900
k_branch_n-12FAIL900
k_branch_n-20FAIL900
k_branch_n-21FAIL900
k_branch_n-10FAIL900
k_branch_n-11FAIL900