\begin{slide}{Übung GC (I)}

Finden Sie geeignete JVM-Konfigurationen
für das Programm \emph{KnockedForLoops}:

\begin{itemize}
\item \url{http://www.imn.htwk-leipzig.de/~waldmann/edu/ws09/pps/extra/kfl/KnockedForLoops.jar}
\item Archiv mit Eingabedateien (TPDB 5.0.2):
  \url{http://dev.aspsimon.org/projects/termcomp/downloads/}
\item
  Testfall:
\begin{verbatim}
java -jar KnockedForLoops.jar tpdb-5.0/SRS/Gebhardt/06.srs
\end{verbatim}
sollte (sehr schnell) eine Ausgabe dieser Form liefern:
\begin{verbatim}
Enumerating derivations modulo
( RULES 0 0 0 0 -> 0 1 0 1 , 1 0 0 1 -> 0 1 0 0 )

NO
Loop of length 27 starting with a string of length 15
found after enumerating 14077 derivations:

.aaaa.ababbababaa
	rule aaaa -> baba at position 0
...
\end{verbatim}

\item Resultatliste zum Vergleich:
  \url{http://www.lri.fr/~marche/termination-competition/2007/webform.cgi?command=srs&file=srs-standard.db&timelimit=120}

  alle Zeilen mit wenigstens einem roten Block sollten zu einer
  Ausgabe führen und darüber hinaus möglichst viele komplett gelbe.

  Interessante Testfälle: SRS/Gebhardt/10.srs, SRS/Endrullis/08.srs,
  SRS/Waldmann07a/size-11-alpha-3-num-4.srs,
SRS/Waldmann07b/size-12-alpha-3-num-\{174,
292,
340,
363,
386,
400,
403,
408,
430\}.srs
\end{itemize}

Probieren Sie aus,
\begin{itemize}
\item mit welchen JVM-Optionen Sie diese Probleme möglichst schnell lösen können
\item und evtl. welche weiteren (gelben).
\end{itemize}
Dramatis Personae:
\begin{itemize}
\item Autor des Programmes KnockedForLoops ist
Dieter Hofbauer \url{http://www.theory.informatik.uni-kassel.de/~hofbauer/}
\item Autor vieler Terminationsprobleme ist
Andreas Gebhardt \url{http://www.informatik.uni-halle.de/arbeitsgruppen/datenstrukturen/mitarbeiter/gebhardt/}
\item Information zur Termination Competition:
  \url{http://www.termination-portal.org/wiki/Termination_Competition}
\item Wenn Sie ein Diplom/Master-Thema aus diesem Bereich bearbeiten möchten,
  dann melden Sie sich bei mir (J.W.)
\end{itemize}

\end{slide}
