From f121c05edfeb1029a5f9dd058ab96c8972fc4e1c Mon Sep 17 00:00:00 2001 From: ajfAfg <56056962+ajfAfg@users.noreply.github.com> Date: Tue, 13 Feb 2024 10:32:18 +0900 Subject: [PATCH] Fix the settings of the benchmark result figure --- .../generate_figure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmarks/measure_execution_time_of_function_that_solve_optimal_supervision_tree/generate_figure.py b/benchmarks/measure_execution_time_of_function_that_solve_optimal_supervision_tree/generate_figure.py index 1f51c82..4a29465 100644 --- a/benchmarks/measure_execution_time_of_function_that_solve_optimal_supervision_tree/generate_figure.py +++ b/benchmarks/measure_execution_time_of_function_that_solve_optimal_supervision_tree/generate_figure.py @@ -17,7 +17,7 @@ plt.rcParams["font.size"] = 16 plt.scatter(x, y, s=100, c="pink", alpha=0.5, edgecolors="red") plt.xticks(list(x), list(map(str, x))) - plt.xlabel("# of gen_server", labelpad=15) + plt.xlabel("# of gen_servers", labelpad=15) plt.ylabel("Execution time (s)", labelpad=20) plt.tight_layout()