diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-01-17 17:04:42 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-17 17:04:42 +0000 |
commit | 14504562fb595db0e26f87ca539fbc50230e8fb0 (patch) | |
tree | 75431f009ae8226262671cd510be4e0223ff6c1e | |
parent | 9b62f324ee03e36c2e15e00a1c6a801e0f08c8d5 (diff) | |
download | fccm22_rsvhls-14504562fb595db0e26f87ca539fbc50230e8fb0.tar.gz fccm22_rsvhls-14504562fb595db0e26f87ca539fbc50230e8fb0.zip |
More fixing of the data
-rw-r--r-- | verified_resource_sharing.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/verified_resource_sharing.tex b/verified_resource_sharing.tex index 634282c..fb23dfb 100644 --- a/verified_resource_sharing.tex +++ b/verified_resource_sharing.tex @@ -485,7 +485,7 @@ The bottom graph compares the execution time. We observe that \vericertfun{} gen xtick style={draw=none}, ] - \nextgroupplot[ymin=0.5,ymax=8,ylabel={Area relative to \legup{}}, ytick={0.25,0.5,1,2,4}] + \nextgroupplot[ymin=0.8,ymax=5,ylabel={Area relative to \legup{}}, ytick={0.25,0.5,1,2,4}] \pgfplotsinvokeforeach{0,...,12}{% \backgroundbar{#1}} \backgroundbar[10]{13} @@ -493,7 +493,7 @@ The bottom graph compares the execution time. We observe that \vericertfun{} gen \addplot+[legupnooptcol] table [x expr=\coordindex,y=vericert-fun,col sep=comma] from \divslicetable; \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.2) rectangle (axis cs:27.5,5); + \draw (axis cs:-0.5,0.8) rectangle (axis cs:27.5,5); \nextgroupplot[ymin=1,ymax=10,ylabel={Execution time relative to \legup{}}, ytick={1,2,4}] \pgfplotsinvokeforeach{0,...,12}{% @@ -503,7 +503,7 @@ The bottom graph compares the execution time. We observe that \vericertfun{} gen \addplot+[legupnooptcol] table [x expr=\coordindex,y=vericert-fun,col sep=comma] from \divtimingtable; \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,7); + \draw (axis cs:-0.5,1) rectangle (axis cs:27.5,10); |