better position for the legend

benchmark/visualize.py

@@ -29,7 +29,7 @@ results = list(results)
 timings = list(map(lambda t: t[:-2] if t.endswith(".v") else t, args.timings))
 for timing in timings:
     plt.plot(list(map(lambda r: r.times.get(timing), results)), marker=next(markers), markersize=8)
-plt.legend(timings, loc='lower left')
+plt.legend(timings, loc='upper left')
 plt.xticks(range(len(results)), list(map(lambda r: r.commit[:7], results)), rotation=70)
 plt.subplots_adjust(bottom=0.2) # more space for the commit labels