\overlays{2}{
\begin{slide}{Functional and Logic Programs}

  \begin{itemize}
  \item 
only categories with ``real'' problems
(Haskell Prelude)
\item
FP: AProVE: 1294 Yes/19 No of 1676 problems
\item
LP: total 349, AProVE 246, Polytool 238.
  \end{itemize}

\bigskip
\fromSlide{2}{\emph{more participants wanted}}


\end{slide}
