From 14504562fb595db0e26f87ca539fbc50230e8fb0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 17 Jan 2022 17:04:42 +0000 Subject: More fixing of the data --- verified_resource_sharing.tex | 6 +++--- 1 file 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); -- cgit