%% -*- mode: latex; TeX-master: "informatik.tex"; -*-

\begin{slide}{Autotool -- Highscore -- Auswertung}

\kopf{$ $Id: tool.tex,v 1.1 2006-10-09 13:24:18 waldmann Exp $ $}
    
\begin{itemize}
\item

\begin{verbatim}
64 :  38523    Tommy Seus
30 :  38465    Stefan Knopp
20 :  38517    David Sachert
\end{verbatim}

\item
  Sortiernetz für 9 Eingänge geht mit 26 (statt 27) Komparatoren
\item
  PCP-Challenge $[(aab , a ) , ( a , b ) , ( b , aab ) ]$
  hat kürzeste Lösung der Länge 75
\item
  Robots-Large ist noch offen ($\to$ nächstes Semester)
\end{itemize}

\end{slide}
