\begin{center}
\begin{tabular}{cccccc}\toprule
{\bf Rob} &  {\bf Fault} & $ |Err|$ &$\nu_{ev} $&$
\nu_{pot}$& {\bf time}\\\midrule
\multirow{2}{*}{Rob4}

&SEU&  25 633& 100\% & 100\% & 0\\
& MEU & 5.37e+08& 100\% & 100\% & 0 \\\midrule
\multirow{2}{*}{Rob3}
&SEU&   334 248 & 83.5\% & 100\% & 0.5\\
& MEU&  4.72e+11& 8.5\% & 100\% & 0.5 \\\midrule
\multirow{2}{*}{Rob1}
&SEU&334 248 &32.7\% & - & 0.7\\
&MEU&4.72e+11& 0\% & - & 2 \\\bottomrule
\end{tabular}
\end{center}
\begin{flushright}
Originaly reachable states :  879
\end{flushright}
