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

& SEU& 6.42e+05  & 100\% & 100\% & 0\\
& MEU & 1.03e+11& 100\% & 100\% & 0 \\\midrule
\multirow{2}{*}{Rob3}
& SEU& 6.42e+05 & 100\% & 100\% & 7\\
& MEU&  7.32e+13& 100\% & 100\% & 7 \\\midrule
\multirow{2}{*}{Rob1}
& SEU&6.42e+05 &0\% & - & 0\\
& MEU&7.32e+13& 0\% & - & 2 \\\bottomrule
\end{tabular}
\end{center}
\begin{flushright}
Originaly reachable states :  21 121
\end{flushright}