source: caseStudy_Huffmann/res/huff_original_res.csv @ 55

Last change on this file since 55 was 32, checked in by cecile, 13 years ago

avec les bon temps

File size: 579 bytes
Line 
1Reachability Analysis,,,Robustness Analysis
2name,Reach,time ,Fault,,Rob 4,,,,Rob 3,,,,Rob 1,,,,
3,states,,type,|Err|,ev,pot,time,|Err|,ev,pot,time,|Err|,ev,pot,time
4huff,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
5,,, USUT , 61654, 48.0722 , 100 , 0.011, 1.42564e+06, 44.8462 , 100 , 0.989167, 1.42564e+06, 30.5158 , 47.6204 , 0.573833
6,,, USMT , 2.67387e+08, 6.99792 , 100 , 1.9145
7,,, MSMT , 2.68436e+08, 7.0714 , 100 , 0, 2.35686e+11, 0.587602 , 100 , 0.0628333, 2.35686e+11, 0 , 0.0226517 , 0.087
Note: See TracBrowser for help on using the repository browser.