\overlays{2}{
\begin{slide}{String Rewriting}

\begin{tabular}{crr}
total & \multicolumn{2}{c}{732 problems} \\
\TTTT & 512 Yes & 40 No \\
AProVE & 501 Yes & 22 No \\
\fromSlide{2}{\emph{Matchbox (cert.)}} & 
\fromSlide{2}{466 Yes} &  \\
Jambox & 252 Yes & \\
nonloop &  & 92 No \\
\end{tabular}

relative: Jambox: 32/0 of 42

\end{slide}
}