Instances of family k_branch_n solved by CLearn
QBFEVAL'04

InstanceResultTime
k_branch_n-1SAT0.01
k_branch_n-6FAIL901
k_branch_n-7FAIL901
k_branch_n-9FAIL901
k_branch_n-14FAIL901
k_branch_n-15FAIL901
k_branch_n-20FAIL901.01
k_branch_n-16FAIL901.01