diff options
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} |