1. All figures of BF output dynamic can be found under "bf_output_dynamic". The figures in the submitted PDFs might be hard to read due to space limit.
2. The codebase and associated running instructions are under "Branching_Factor_formal_codebase"