X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=blobdiff_plain;f=chapters%2Fbenchmark.tex;fp=chapters%2Fbenchmark.tex;h=1bb20076def48e24639f0a104838ed83d49e72b7;hp=5342771798c9cc162c19bdedeaa60429f5b062de;hb=c23d4f4bb88ea0a9799ea81f40b780201ada016f;hpb=967f83854c5bff5dd7aeeca3a4efc7a68af36076

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"