add some benchmarks

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"

diff --git a/images/early.pdf b/images/early.pdf
new file mode 100644 (file)
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 (file)
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 (file)
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 (file)
index 0000000..74ab916
Binary files /dev/null and b/images/montali_unsat1.pdf differ