\section{Benchmarks}
\subsection*{Dummy}

\begin{frame}
  \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"
%%% TeX-engine: luatex
%%% TeX-PDF-mode: t
%%% End: 
