Merge pull request #36 from ajfAfg/fix-settings-of-benchmark-result-f…

…igure

Fix the settings of the benchmark result figure

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()