Changeset 32 for caseStudy_Huffmann/res/huff_original_res.csv

Timestamp:

Dec 11, 2011, 1:27:16 PM (13 years ago)

Author:

cecile

Message:

avec les bon temps

File:

• caseStudy_Huffmann/res/huff_original_res.csv (modified) (1 diff)

caseStudy_Huffmann/res/huff_original_res.csv

@@ -1 @@
-Reachability Analysis;;;Robustness Analysis
-name;Reach;time ;Fault;;Rob 4;;;;Rob 3;;;;Rob 1;;;;
-;states;;type;|Err|;ev;pot;time;|Err|;ev;pot;time;|Err|;ev;pot;time
-huff;878.0;0.19;USUT; 61654; 48.0722 ; 100 ; 0.0335; 1.42564e+06; 44.8462 ; 100 ; 246.485; 1.42564e+06; 30.5158 ; 47.6204 ; 0.357333
-;;; USMT ; 2.67387e+08; 6.99792 ; 100 ; 3.0615
-;;; 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
-;;; 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
+Reachability Analysis,,,Robustness Analysis
+name,Reach,time ,Fault,,Rob 4,,,,Rob 3,,,,Rob 1,,,,
+,states,,type,|Err|,ev,pot,time,|Err|,ev,pot,time,|Err|,ev,pot,time
+huff,878.0,0.17,MSUT, 2.68436e+08, 7.0714 , 100 , 0, 2.35686e+11, 0.587602 , 100 , 0.0823333, 2.35686e+11, 0 , 0.0226514 , 0.09
+,,, USUT , 61654, 48.0722 , 100 , 0.011, 1.42564e+06, 44.8462 , 100 , 0.989167, 1.42564e+06, 30.5158 , 47.6204 , 0.573833
+,,, USMT , 2.67387e+08, 6.99792 , 100 , 1.9145
+,,, MSMT , 2.68436e+08, 7.0714 , 100 , 0, 2.35686e+11, 0.587602 , 100 , 0.0628333, 2.35686e+11, 0 , 0.0226517 , 0.087