diff --git a/parameter_space_partitioning/README.md b/parameter_space_partitioning/README.md index f8bca256e0a388beedceef17565c23906c121890..619f95465a1a5be4dc78d0f7c87155d4c5e799ac 100644 --- a/parameter_space_partitioning/README.md +++ b/parameter_space_partitioning/README.md @@ -23,8 +23,8 @@ ## alarm-red-green-plots - contains all data relevant to construct the 2D and 3D graphs for alarm -## generated_plots - - contains all the generated plots (also included in the paper) +## generated_files + - contains all the generated plots (also included in the paper) and the PLA table for win95pts ## output - contains the output data for the specific threshhold values (e.g. 0.3 for hailfinder) diff --git a/parameter_space_partitioning/table.csv b/parameter_space_partitioning/generated_files/PLA_table.csv similarity index 100% rename from parameter_space_partitioning/table.csv rename to parameter_space_partitioning/generated_files/PLA_table.csv diff --git a/parameter_space_partitioning/generated_plots/alarm_pla_graph_2D.pdf b/parameter_space_partitioning/generated_files/alarm_pla_graph_2D.pdf similarity index 99% rename from parameter_space_partitioning/generated_plots/alarm_pla_graph_2D.pdf rename to parameter_space_partitioning/generated_files/alarm_pla_graph_2D.pdf index 4890ffc0245b8919bfc7c9f4e8db02e09ea2d858..df4900cf533ff5a7d58934ed21d5339e0825cfa6 100644 Binary files a/parameter_space_partitioning/generated_plots/alarm_pla_graph_2D.pdf and b/parameter_space_partitioning/generated_files/alarm_pla_graph_2D.pdf differ diff --git a/parameter_space_partitioning/generated_plots/alarm_pla_graph_3D.pdf b/parameter_space_partitioning/generated_files/alarm_pla_graph_3D.pdf similarity index 99% rename from parameter_space_partitioning/generated_plots/alarm_pla_graph_3D.pdf rename to parameter_space_partitioning/generated_files/alarm_pla_graph_3D.pdf index 69e8a0708df2d1fa11416542eb6ad3fa2b4f9d40..7f313a8291f898dd9b7f5e4463598b57489286e0 100644 Binary files a/parameter_space_partitioning/generated_plots/alarm_pla_graph_3D.pdf and b/parameter_space_partitioning/generated_files/alarm_pla_graph_3D.pdf differ diff --git a/parameter_space_partitioning/generated_plots/pla_plot.pdf b/parameter_space_partitioning/generated_files/pla_plot.pdf similarity index 99% rename from parameter_space_partitioning/generated_plots/pla_plot.pdf rename to parameter_space_partitioning/generated_files/pla_plot.pdf index 2c024d21985cac9b6356ae7ff323ea8f9fe33df4..07cdedd1f3556d1bc1d4d3ca864ba5a0bd710684 100644 Binary files a/parameter_space_partitioning/generated_plots/pla_plot.pdf and b/parameter_space_partitioning/generated_files/pla_plot.pdf differ diff --git a/parameter_space_partitioning/perform_parameter_space_partitioning.sh b/parameter_space_partitioning/perform_parameter_space_partitioning.sh index 8220227ec767ee76daff4d57b43f44d4623bc9f9..5296713aaeb1f4b7287b720a0e785f538b0d0ff7 100755 --- a/parameter_space_partitioning/perform_parameter_space_partitioning.sh +++ b/parameter_space_partitioning/perform_parameter_space_partitioning.sh @@ -5,7 +5,7 @@ flag=$1 #create 2D plot python3 scripts/create_2D_graph.py $flag -cd generated_plots +cd generated_files pdflatex --enable-write18 --extra-mem-top=100000000 --synctex=1 ../alarm-red-green-plots/2D/alarm_pla_graph_2D.tex rm alarm_pla_graph_2D.aux rm alarm_pla_graph_2D.log @@ -14,7 +14,7 @@ cd .. #create 3D plot python3 scripts/create_3D_graph.py $flag -cd generated_plots +cd generated_files pdflatex --enable-write18 --extra-mem-top=100000000 --synctex=1 ../alarm-red-green-plots/3D/alarm_pla_graph_3D.tex rm alarm_pla_graph_3D.aux rm alarm_pla_graph_3D.log @@ -23,7 +23,7 @@ cd .. #run experiments for the networks 'win95pts', 'hailfinder', 'hepar2' python3 scripts/run_pla_experiments.py $flag -cd generated_plots +cd generated_files pdflatex ../scripts/pla_plot.tex rm pla_plot.aux rm pla_plot.log diff --git a/parameter_space_partitioning/scripts/make_pla_table.py b/parameter_space_partitioning/scripts/make_pla_table.py index 83944ddc78a5296ed6342ecd76bb334eb07fa394..b97e3b47fc4e534bcc9bef70022b4bf66d3f5860 100644 --- a/parameter_space_partitioning/scripts/make_pla_table.py +++ b/parameter_space_partitioning/scripts/make_pla_table.py @@ -19,7 +19,7 @@ def make_pla_table(): mem = mem.replace('\n', '') df = pd.DataFrame([[coverage, sat, unsat, unknown, regions, time, mem]],columns=['coverage','accepting(%)','rejecting(%)', 'unknown(%)', '#regions', 'time', 'mem']) data = pd.concat([data,df],ignore_index=True) - data.to_csv('table.csv', index=False) + data.to_csv('generated_files/PLA_table.csv', index=False) print(data.tail(16)) if __name__ == "__main__":