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