Change legend position

1 files changed, 2 insertions, 5 deletions

diff --git a/verified_resource_sharing.tex b/verified_resource_sharing.tex
index ea45cff..cb29d75 100644
--- a/verified_resource_sharing.tex
+++ b/verified_resource_sharing.tex
@@ -473,7 +473,7 @@ The bottom graph compares the execution time. We observe that \vericertfun{} gen
       width=0.6\textwidth,
       height=0.32\textwidth,
       /pgf/bar width=2pt,
-      legend pos=south east,
+      legend pos=north east,
       log ticks with fixed point,
       xticklabels from table={\divtimingtable}{benchmark},
       legend style={nodes={scale=0.7, transform shape}},
@@ -494,6 +494,7 @@ The bottom graph compares the execution time. We observe that \vericertfun{} gen
       \draw (axis cs:-1,1) -- (axis cs:28,1);
       % JW: redraw axis border which has been partially covered by the grey bars
       \draw (axis cs:-0.5,0.8) rectangle (axis cs:27.5,5);
+      \legend{\vericert{},\vericertfun{}};
 
       \nextgroupplot[ymin=1,ymax=10,ylabel={Execution time relative to \legup{}}, ytick={1,2,4}]
       \pgfplotsinvokeforeach{0,...,12}{%
@@ -504,10 +505,6 @@ The bottom graph compares the execution time. We observe that \vericertfun{} gen
       \draw (axis cs:-1,1) -- (axis cs:28,1);
       % JW: redraw axis border which has been partially covered by the grey bars
       \draw (axis cs:-0.5,1) rectangle (axis cs:27.5,10);
-
-      
-
-      \legend{\vericert{},\vericertfun{}};
     \end{groupplot}
   \end{tikzpicture}
   \caption{Performance of \vericert{} compared to \vericertfun{}, using \legup{} as a baseline.}