summaryrefslogtreecommitdiffstats
path: root/evaluation.tex
diff options
context:
space:
mode:
Diffstat (limited to 'evaluation.tex')
-rw-r--r--evaluation.tex35
1 files changed, 19 insertions, 16 deletions
diff --git a/evaluation.tex b/evaluation.tex
index 90ab4c7..d9ad01d 100644
--- a/evaluation.tex
+++ b/evaluation.tex
@@ -27,6 +27,9 @@ We configured Polybench's parameters so that only integer types are used, since
\pgfplotstableread[col sep=comma]{results/rel-time-div.csv}{\divtimingtable}
\pgfplotstableread[col sep=comma]{results/rel-size-div.csv}{\divslicetable}
+\definecolor{vericertcol}{HTML}{66C2A5}
+\definecolor{legupnooptcol}{HTML}{FC8D62}
+\definecolor{legupnooptnochaincol}{HTML}{8DA0CB}
\begin{figure}\centering
\begin{tikzpicture}
\begin{groupplot}[
@@ -55,16 +58,16 @@ We configured Polybench's parameters so that only integer types are used, since
ylabel style={font=\footnotesize},
]
- \nextgroupplot[ymin=0.8,ylabel={\legup{} / \vericert{} execution time ratio}]
- \addplot+ table [x expr=\coordindex,y=vericert,col sep=comma] from \divtimingtable;
- \addplot+ table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \divtimingtable;
- \addplot+ table [x expr=\coordindex,y=legup noopt,col sep=comma] from \divtimingtable;
+ \nextgroupplot[ymin=0.8,ylabel={Relative execution time to \legup{}}]
+ \addplot+[vericertcol] table [x expr=\coordindex,y=vericert,col sep=comma] from \divtimingtable;
+ \addplot+[legupnooptcol] table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \divtimingtable;
+ \addplot+[legupnooptnochaincol] table [x expr=\coordindex,y=legup noopt,col sep=comma] from \divtimingtable;
\draw (axis cs:-1,1) -- (axis cs:26,1);
- \nextgroupplot[ymin=0.1,ylabel={\legup{} / \vericert{} slice ratio}]
- \addplot+ table [x expr=\coordindex,y=vericert,col sep=comma] from \divslicetable;
- \addplot+ table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \divslicetable;
- \addplot+ table [x expr=\coordindex,y=legup noopt,col sep=comma] from \divslicetable;
+ \nextgroupplot[ymin=0.1,ylabel={Relative area to \legup{}}]
+ \addplot+[vericertcol] table [x expr=\coordindex,y=vericert,col sep=comma] from \divslicetable;
+ \addplot+[legupnooptcol] table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \divslicetable;
+ \addplot+[legupnooptnochaincol] table [x expr=\coordindex,y=legup noopt,col sep=comma] from \divslicetable;
\draw (axis cs:-1,1) -- (axis cs:26,1);
\legend{\vericert{},\legup{} w/o opt/chain,\legup{} w/o opt};
@@ -103,16 +106,16 @@ We configured Polybench's parameters so that only integer types are used, since
ymin=0.3,
]
- \nextgroupplot[ylabel={\legup{} / \vericert{} execution time ratio}]
- \addplot+ table [x expr=\coordindex,y=vericert,col sep=comma] from \nodivtimingtable;
- \addplot+ table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \nodivtimingtable;
- \addplot+ table [x expr=\coordindex,y=legup noopt,col sep=comma] from \nodivtimingtable;
+ \nextgroupplot[ylabel={Relative execution time to \legup{}}]
+ \addplot+[vericertcol] table [x expr=\coordindex,y=vericert,col sep=comma] from \nodivtimingtable;
+ \addplot+[legupnooptcol] table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \nodivtimingtable;
+ \addplot+[legupnooptnochaincol] table [x expr=\coordindex,y=legup noopt,col sep=comma] from \nodivtimingtable;
\draw (axis cs:-1,1) -- (axis cs:26,1);
- \nextgroupplot[ylabel={\legup{} / \vericert{} slice ratio}]
- \addplot+ table [x expr=\coordindex,y=vericert,col sep=comma] from \nodivslicetable;
- \addplot+ table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \nodivslicetable;
- \addplot+ table [x expr=\coordindex,y=legup noopt,col sep=comma] from \nodivslicetable;
+ \nextgroupplot[ylabel={Relative area to \legup{}}]
+ \addplot+[vericertcol] table [x expr=\coordindex,y=vericert,col sep=comma] from \nodivslicetable;
+ \addplot+[legupnooptcol] table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \nodivslicetable;
+ \addplot+[legupnooptnochaincol] table [x expr=\coordindex,y=legup noopt,col sep=comma] from \nodivslicetable;
\draw (axis cs:-1,1) -- (axis cs:26,1);
\legend{\vericert{},\legup{} w/o opt/chain,\legup{} w/o opt};