\section{Benchmarks}
\subsection*{Dummy}

\begin{frame}
  TODO: some representative benchmarks with GMUL/TreeTab/Cool(/MLSolver?)
\end{frame}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../vortrag"
%%% TeX-engine: luatex
%%% TeX-PDF-mode: t
%%% End: 
