plt.xticks(x_data, labels, rotation=90, family="monospace")
plt.title(graph_get_title(branch, benchmark_type), fontweight="bold")
plt.ylabel("User + system time (s)")
plt.xticks(x_data, labels, rotation=90, family="monospace")
plt.title(graph_get_title(branch, benchmark_type), fontweight="bold")
plt.ylabel("User + system time (s)")