chapters/benchmark.tex

   1 \section{Benchmarks}
   2 \subsection*{Dummy}
   3
   4 \begin{frame}
   5   \includegraphics[width=\textwidth]{images/early}
   6 \end{frame}
   7
   8 \begin{frame}
   9   \includegraphics[width=\textwidth]{images/montali_sat1}
  10 \end{frame}
  11
  12 \begin{frame}
  13   \includegraphics[width=\textwidth]{images/montali_unsat1}
  14 \end{frame}
  15
  16 \begin{frame}
  17   \includegraphics[width=\textwidth]{images/exp_unsat}
  18 \end{frame}
  19
  20
  21 %%% Local Variables:
  22 %%% mode: latex
  23 %%% TeX-master: "../vortrag"
  24 %%% TeX-engine: luatex
  25 %%% TeX-PDF-mode: t
  26 %%% End: