\overlays{3}{
\begin{slide}{What Problems?}

Termination Problem Data Base

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

\fromSlide{2}{
in 2008: use complete set of problems
\begin{itemize}
\item good for archival purposes
\item bad for excitement
\end{itemize}
}

\fromSlide{3}{
\emph{coming:}
\begin{itemize}
\item get more entries for TPDB
\item select subsets (benchmarks) for competition
\end{itemize}
}

\end{slide}
}