diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-01-17 16:59:49 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-17 17:01:15 +0000 |
commit | 9b62f324ee03e36c2e15e00a1c6a801e0f08c8d5 (patch) | |
tree | abfc0262886e3d18098ef539a2cd5ca6a260cc75 /verified_resource_sharing.tex | |
parent | 2abfb6d62237fbc64d57b9a9a25db8ef166efcdd (diff) | |
download | fccm22_rsvhls-9b62f324ee03e36c2e15e00a1c6a801e0f08c8d5.tar.gz fccm22_rsvhls-9b62f324ee03e36c2e15e00a1c6a801e0f08c8d5.zip |
Fix data
Diffstat (limited to 'verified_resource_sharing.tex')
-rw-r--r-- | verified_resource_sharing.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/verified_resource_sharing.tex b/verified_resource_sharing.tex index 5c7d44e..634282c 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.2,ymax=5,ylabel={Area relative to \legup{}}, ytick={0.25,0.5,1,2,4}] + \nextgroupplot[ymin=0.5,ymax=8,ylabel={Area relative to \legup{}}, ytick={0.25,0.5,1,2,4}] \pgfplotsinvokeforeach{0,...,12}{% \backgroundbar{#1}} \backgroundbar[10]{13} @@ -495,7 +495,7 @@ The bottom graph compares the execution time. We observe that \vericertfun{} gen % 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); - \nextgroupplot[ymin=1,ymax=7,ylabel={Execution time relative to \legup{}}, ytick={1,2,4}] + \nextgroupplot[ymin=1,ymax=10,ylabel={Execution time relative to \legup{}}, ytick={1,2,4}] \pgfplotsinvokeforeach{0,...,12}{% \backgroundbar{#1}} \backgroundbar[10]{13} |