add some benchmarks

[talk/coalgebraic-mu-calculus-cool-2.git] / chapters / benchmark.tex

diff --git a/chapters/benchmark.tex b/chapters/benchmark.tex
index 5342771798c9cc162c19bdedeaa60429f5b062de..1bb20076def48e24639f0a104838ed83d49e72b7 100644 (file)
--- 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"