diff options
Diffstat (limited to 'evaluation.tex')
| -rw-r--r-- | evaluation.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/evaluation.tex b/evaluation.tex index ff62f87..4d6cd31 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -35,10 +35,15 @@ We configured Polybench's parameters so that only integer types are used, since ymin=0, xmin=-0.5, xmax=25.5, + legend pos=north west, + xlabel={Polybench Benchmarks}, + ylabel={\vericert{} / \legup{} execution time ratio}, ] \addplot+ table [x expr=\coordindex,y=v no nc,col sep=comma] {results/exec-time.csv}; + \addlegendentry{LegUp w/o opt}; \addplot+ table [x expr=\coordindex,y=v op,col sep=comma] {results/exec-time.csv}; + \addlegendentry{LegUp}; \draw (axis cs:-0.5,1) -- (axis cs:25.5,1); |