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

& SEU&  270& 100\% & 100\% & 0\\
& MEU & 4.29e+09& 100\% & 100\% & 0 \\\midrule
\multirow{2}{*}{Rob3}
& SEU&  270 & 100\% & 100\% & 0.5\\
& MEU&  8.27e+10& 100\% & 100\% & 0.5 \\\midrule
\multirow{2}{*}{Rob1}
& SEU&270 &47.7\% & - & 0.7\\
& MEU&8.27e+10& 0\% & - & 2 \\\bottomrule
\end{tabular}
\end{center}
\begin{flushright}
Originaly reachable states :  90
\end{flushright}
