source: caseStudy_Huffmann/huffmann/doc/experiments/huff_original_res.tex @ 105

Last change on this file since 105 was 105, checked in by cecile, 12 years ago

Hufmann case study
File size: 1.0 KB
Line 
1 \begin{supertabular}{|c|c|c|c||c|c|c|c||c|c|c|c||c|c|c|c|}
2&\multicolumn{2}{|c|}{Reachability Analysis}&\multicolumn{13}{|c|}{Robustness Analysis} \\\hline
3\multirow{2}{*}{name} & Reach. & \multirow{2}{*}{time} & Fault
4&\multicolumn{4}{|c|}{Rob 4}&\multicolumn{4}{|c|}{Rob 3}&\multicolumn{4}{|c|}{Rob 1}\\\cline{5-16}
5& states & & type & $|Err|$ & $
6\nu_{ev} $&$
7\nu_{pot}$& time
8&$|Err|$&$
9\nu_{ev}$&$
10\nu_{pot}$ & time
11 &$|Err|$&$
12\nu_{ev}$&$
13\nu_{pot}$ & time \\\hline
14\multirow{4}{*}{huff} &
15\multirow{4}{*}{878.0} &
16\multirow{4}{*}{0.19} &
17USUT& 61654& 48.0722 & 100 & 0.0335& 1.42564e+06& 44.8462 & 100 & 246.485& 1.42564e+06& 30.5158 & 47.6204 & 0.357333\\\cline{5-16}
18&&& USMT & 2.67387e+08& 6.99792 & 100 & 3.0615\\\cline{5-16}
19&&& MSUT & 2.68436e+08& 7.0714 & 100 & 0.0246667& 2.35686e+11& 0.587602 & 100 & 225.386& 2.35686e+11& 0 & 0.0226514 & 0.2255\\\cline{5-16}
20&&& MSMT & 2.68436e+08& 7.0714 & 100 & 0.0251667& 2.35686e+11& 0.587602 & 100 & 256.406& 2.35686e+11& 0 & 0.0226517 & 0.235333\\\hline\end{supertabular}
Note: See TracBrowser for help on using the repository browser.