diff options
| -rw-r--r-- | verified_resource_sharing.tex | 7 |
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.} |