Line | |
---|
1 | \begin{center} |
---|
2 | \begin{tabular}{cccccc}\toprule |
---|
3 | {\bf Rob} & {\bf Fault} & $ |Err|$ &$\nu_{ev} $&$ |
---|
4 | \nu_{pot}$& {\bf time}\\\midrule |
---|
5 | \multirow{2}{*}{Rob4} |
---|
6 | |
---|
7 | &SEU& 61810& 48\% & 99.5\% & 0\\ |
---|
8 | & MEU & 2.68e+08& 7\% & 99.8\% & 0 \\\midrule |
---|
9 | \multirow{2}{*}{Rob3} |
---|
10 | &SEU&1.53e+06& 44.7\% & 99.6\% & 1min\\ |
---|
11 | & MEU & 2.36e+11& 0.6\% & 99.8\% & 1min \\\midrule |
---|
12 | \multirow{2}{*}{Rob1} |
---|
13 | &SEU&1.43e+06& 30.4\% & - & 0\\ |
---|
14 | &MEU&2.36e+11& 0\% & - & 0 \\\bottomrule |
---|
15 | \end{tabular} |
---|
16 | \end{center} |
---|
17 | \begin{flushright} |
---|
18 | Originaly reachable states : 878 |
---|
19 | \end{flushright} |
---|
Note: See
TracBrowser
for help on using the repository browser.