\section{Overview of the 2008 Competition Data}

The competition used version 5 
of the Termination Problems Data Base, 
available from \url{http://termination-portal.org/wiki/TPDB}.
Ignoring the refinements discussed above (strategies, theories, etc.)
its summarized contents is:

\begin{tabular}{r||r|r|r|r}
combined categories & FP & LP & SRS & TRS \\ \hline
number of problems & 1676 & 351 & 777 & 2036 
\end{tabular}.

