11502_formalmethod_final_project_reproduce_package_m11315054

the package's sha256sum: 4b89d073d727706db1f7a7f958073328abd058991cf59dc8961f92abe5f58118 after put this package in the reproudce VM(https://zenodo.org/records/20800177), unzip it then cd to it then 1- bash scripts/run_all_reproduce.sh 2-bash scripts/check_reproduce_against_report_tables.sh 3-cat reproduce_out/report_table_summary.md this package with help/summarizr by LLM, verified/checked by me and the step 2's scripts will auto check whether the output is correct or not that align with paper's table result. follow and read the README.md in the package to know more about contain