Supplementary source code and evaluation results for submission 44 at SSS 2021

Source code and data for submission 44, SSS 2021 Content: + directory src: source code + directory lib: libaries used by source code + directory graphs: input graphs (topology) for programs + directory results-2021: analysis and simulation data + run_analyze_cvf_script.sh: script for running analysis + run_simulation_script.sh: script for running simulation