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

&SEU& 61810& 48\% & 99.5\% & 0\\
& MEU & 2.68e+08& 7\% & 99.8\% & 0 \\\midrule
\multirow{2}{*}{Rob3}
&SEU&1.53e+06& 44.7\% & 99.6\% & 1min\\
& MEU & 2.36e+11& 0.6\% & 99.8\% & 1min \\\midrule
\multirow{2}{*}{Rob1}
&SEU&1.43e+06& 30.4\% & - & 0\\
&MEU&2.36e+11& 0\% & - & 0 \\\bottomrule
\end{tabular}
\end{center}
\begin{flushright}
Originaly reachable states :  878
\end{flushright}
