\section{Participants of the Competition}\label{sec:participants}

A termination prover
could register for a subset of the categories,
and was then applied to all problems from the respective categories.

We list here the provers and their categories.
In some cases, specific versions (per category) were used.
We ignore these in this overview,
and give a detailed description in the following sections.

\begin{itemize}
\item
{\sf AProVE} (Automated Program Verification Environment)
\begin{itemize}
\item developed at RWTH Aachen, Germany
by Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Swiderski, Carsten Fuhs, Carsten Otto et al. 
\item home page: \url{http://aprove.informatik.rwth-aachen.de}
\item categories: FP, LP, SRS and TRS both non-certified and certified 
\end{itemize}


\item
\CAT\ (Complexity and Termination)
\begin{itemize}
    \item  developed at LFU Innsbruck, Austria,
by Martin Korp, Christian Sternagel and Harald Zankl 
    \item  home page: \url{http://cl-informatik.uibk.ac.at/software/cat/}
\item  categories: Complexity 
\end{itemize}
\item
{\sf Cime3} (Complet\emph{i}on Modulo E)
\begin{itemize}
    \item   developed at 
      Cédric (CNAM/ENSIIE) and LRI (Univ. Paris-Sud, CNRS), France,
by  Évelyne Contejean, Pierre Courtieu, 
      Julien Forest, Olivier Pons, Xavier Urbain,
    \item  home page: \url{http://a3pat.ensiie.fr/pub/index.en.html}
    \item  categories: SRS and TRS certified
  \end{itemize}
\item
{\sf Jambox}  (Java Matchbox)
\begin{itemize}
    \item  developed at Vrije Universiteit Amsterdam, Netherlands,
by Jörg Endrullis 
    \item  home page: \url{http://joerg.endrullis.de/}
\item categories: SRS and TRS non-certified
\end{itemize}
\item
{\sf matchbox} 
\begin{itemize}
    \item   developed at HTWK Leipzig, Germany,
by Johannes Waldmann, 
    \item  home page: \url{http://dfa.imn.htwk-leipzig.de/matchbox/}
    \item  categories: SRS and TRS certified
  \end{itemize}
\item
{\sf nonloop}
\begin{itemize}
    \item   developed at HTWK Leipzig, Germany,
by Martin Oppelt,
    \item  home page: \url{http://dfa.imn.htwk-leipzig.de/nonloop/}
\item categories: SRS non-certified
\end{itemize}
\item
{\sf Polytool}
(Proving Termination Automatically based on Polynomial Interpretations)
\begin{itemize}
    \item  developed at KU Leuven, Belgium,
by Manh Thang Nguyen and Danny De Schreye,
Peter Schneider-Kamp and Jürgen Giesl,
    \item  home page: \url{http://www.cs.kuleuven.be/~manh/polytool/}
\item categories: LP
\end{itemize}
\item
\TCT\ (Tyrolean Complexity Tool)
\begin{itemize}
    \item  developed at LFU Innsbruck, Austria,
by Martin Avanzini, Georg Moser, Andreas Schnabl,
    \item  home page: \url{http://cl-informatik.uibk.ac.at/software/tct/}
\item categories: Complexity
\end{itemize}
\item
\TTTT\ (Tyrolean Termination Tool 2)
\begin{itemize}
    \item  developed at LFU Innsbruck, Austria,
by Martin Korp, Christian Sternagel, Harald Zankl, and Aart Middeldorp 
    \item  home page: \url{http://colo6-c703.uibk.ac.at/ttt2}
\item categories: SRS and TRS non-certified
\end{itemize}
\item
{\sf TrafO} (Transformation of Outermost Termination)
\begin{itemize}
\item developed at TU Eindhoven, The Netherlands,
  by Matthias Raffelsieper and Hans Zantema,
\item home page: \url{http://www.win.tue.nl/~mraffels/trafo.html}
\item categories: TRS with outermost strategy
\end{itemize}

\end{itemize}

