Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update flattening benchmark in rewriting chapter

Browse Source
This commit is contained in:
Jip J. Dekker 2021-05-24 16:47:16 +10:00
parent 3687260209
commit 7cdd112321
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
5 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
assets/img/4_compare_memory.pdf
View File

Binary file not shown.

BIN
assets/img/4_compare_runtime.pdf
View File

Binary file not shown.

BIN
assets/img/rew_compare_memory.pdf Normal file
View File

Binary file not shown.

BIN
assets/img/rew_compare_runtime.pdf Normal file
View File

Binary file not shown.

12
chapters/3_rewriting.tex
View File

@ -1119,17 +1119,17 @@ unoptimised prototype to a mature piece of software.
\centering
\begin{subfigure}[b]{.48\columnwidth}
\centering
\includegraphics[width=\columnwidth]{assets/img/4_compare_runtime}
\caption{\label{sfig:4-compareruntime}Flattening run time (ms)}
\includegraphics[width=\columnwidth]{assets/img/rew_compare_runtime}
\caption{\label{sfig:4-compareruntime}Average run time (ms)}
\end{subfigure}%
\hspace{0.04\columnwidth}%
\begin{subfigure}[b]{.48\columnwidth}
\centering
\includegraphics[width=\columnwidth]{assets/img/4_compare_memory}
\caption{\label{sfig:4-comparemem}Flattening memory (MB)}
\includegraphics[width=\columnwidth]{assets/img/rew_compare_memory}
\caption{\label{sfig:4-comparemem}Maximum resident set size (kbytes)}
\end{subfigure}
\caption{\label{fig:4-runtime}Performance on flattening 100 MiniZinc Challenge
instances. \minizinc\ 2.4.3 (x-axis) vs new architecture (y-axis), log-log
\caption{\label{fig:4-runtime}Performance on flattening MiniZinc Challenge
instances. \minizinc\ 2.5.5 (x-axis) vs new architecture (y-axis), log-log
plot. Dots below the line indicate the new system is better.}
\end{figure}