% Created by gawk
\begin{tabular}{|l|r|rr|rr||r|rr|rr|} \hline
         & \multicolumn{5}{|c||}{{\rm Tokens}} &  \multicolumn{5}{c|}{{\rm Words}} \\ \hline
 {\rm Sec} & \multicolumn{1}{|r|}{{\rm Total}} &  \multicolumn{2}{r|}{{\rm Accepted}} &  \multicolumn{2}{r|}{{\rm Discarded}} & \multicolumn{1}{|r|}{{\rm Total}} &  \multicolumn{2}{r|}{{\rm Accepted}} &  \multicolumn{2}{r|}{{\rm Discarded}} \\ \hline
  \hline
  {\tt tot.1} & \ct{27400} & \ct{25702} &  \pc{93.8} &  \ct{1698} &   \pc{6.2} &  \ct{5633} &  \ct{4486} &  \pc{79.6} &  \ct{1147} &  \pc{20.4} \\
  \hline
\end{tabular}%
