From: Christoph Egger Date: Mon, 25 Apr 2016 14:30:15 +0000 (+0200) Subject: add some benchmarks X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=commitdiff_plain;h=c23d4f4bb88ea0a9799ea81f40b780201ada016f add some benchmarks --- diff --git a/chapters/benchmark.tex b/chapters/benchmark.tex index 5342771..1bb2007 100644 --- a/chapters/benchmark.tex +++ b/chapters/benchmark.tex @@ -2,9 +2,22 @@ \subsection*{Dummy} \begin{frame} - TODO: some representative benchmarks with GMUL/TreeTab/Cool(/MLSolver?) + \includegraphics[width=\textwidth]{images/early} \end{frame} +\begin{frame} + \includegraphics[width=\textwidth]{images/montali_sat1} +\end{frame} + +\begin{frame} + \includegraphics[width=\textwidth]{images/montali_unsat1} +\end{frame} + +\begin{frame} + \includegraphics[width=\textwidth]{images/exp_unsat} +\end{frame} + + %%% Local Variables: %%% mode: latex %%% TeX-master: "../vortrag" diff --git a/images/early.pdf b/images/early.pdf new file mode 100644 index 0000000..5715ab9 Binary files /dev/null and b/images/early.pdf differ diff --git a/images/exp_unsat.pdf b/images/exp_unsat.pdf new file mode 100644 index 0000000..3740f7a Binary files /dev/null and b/images/exp_unsat.pdf differ diff --git a/images/montali_sat1.pdf b/images/montali_sat1.pdf new file mode 100644 index 0000000..b2cec5e Binary files /dev/null and b/images/montali_sat1.pdf differ diff --git a/images/montali_unsat1.pdf b/images/montali_unsat1.pdf new file mode 100644 index 0000000..74ab916 Binary files /dev/null and b/images/montali_unsat1.pdf differ