L2Sia-wfrL2SiaHSFUltimate-LTLT2-ctlstarT2-termination
resulttimeresulttimedeltaresulttimedeltaresulttimedeltaresulttimedeltaresulttimedelta
bip/atm.02.000safe2.56safe2.480?0-1?544.84-1?1202.58-1---
bip/atm.02.001safe0.59safe0.510?0-1?0-1?1202.62-1---
bip/atm.02.002safe0.39safe0.310?0-1?1204.65-1?1202.5-1---
bip/atm.03.000safe1.05safe1.020?0-1?810.77-1?1202.1-1---
bip/atm.03.001safe0.93safe0.90?0-1?1204.66-1?1202.26-1---
bip/atm.03.002safe0.68safe0.610?0-1?1201.84-1?1202.34-1---
bip/atm.04.000safe6.98safe6.930?0-1?1185.76-1?1202.37-1---
bip/atm.04.001safe0.66safe0.640?0-1?1204.65-1?1202.26-1---
bip/atm.04.002safe0.87safe0.850?0-1?1204.66-1?1202.1-1---
bip/atm.05.000safe13.01safe12.930?0-1?1201.72-1?1202.4-1---
bip/atm.05.001safe0.87safe0.820?0-1?1201.72-1?1202.61-1---
bip/atm.05.002safe2.2safe2.220?0-1?1201.89-1?1202.59-1---
bip/atm.06.000safe14.7safe14.660?0.44-1?1204.19-1?1201.13-1---
bip/atm.06.001safe0.93safe0.890?0.43-1?819.7-1?1201.66-1---
bip/atm.06.002safe0.5safe0.450?0.42-1?690.11-1?1201.77-1---
bip/atm.07.000safe49.66safe50.210?0.47-1?1201.79-1?1201.38-1---
bip/atm.07.001safe0.91safe0.870?0.47-1?1201.69-1?1201.5-1---
bip/atm.07.002safe0.89safe0.860?0.47-1?708.64-1?1201.47-1---
bip/atm.08.000safe63.03safe64.90?0.52-1?1201.7-1?1201.08-1---
bip/atm.08.001safe1.04safe1.020?0.5-1?236.28-1?1201.73-1---
bip/atm.08.002safe1.36safe1.360?0.51-1?250.89-1?1200.62-1---
bip/atm.09.000safe84.21safe87.730?0.58-1?1201.71-1?1200.42-1---
bip/atm.09.001safe1.87safe1.820?0.56-1?1201.92-1?1201.42-1---
bip/atm.09.002safe2.46safe2.420?0.55-1?272.74-1?1201.36-1---
bip/atm.10.000safe177.08safe179.030?0.62-1?1201.7-1?1201.16-1---
bip/atm.10.001safe2.28safe2.250?0.8-1?348.78-1?1200.57-1---
bip/atm.10.002safe1.68safe1.650?0.79-1?262.65-1?1200.5-1---
bip/atm.11.000safe199.95safe198.150?0.78-1?157.76-1?1199.93-1---
bip/atm.11.001safe1.96safe1.940?0.72-1?144.48-1?1200.83-1---
bip/atm.11.002safe2.39safe2.340?0.73-1?143.11-1?1199.99-1---
bip/atm.12.000safe301.22safe313.270?0.81-1?162.6-1?1200.04-1---
bip/atm.12.001safe1.87safe1.780?0.75-1?169.05-1?1200.45-1---
bip/atm.12.002safe1.2safe1.180?0.71-1?134.22-1?1200.43-1---
bip/atm.13.000safe278.86safe281.80?0.82-1?388.95-1?1199.44-1---
bip/atm.13.001safe3.02safe3.00?1.02-1?159.57-1?1199.93-1---
bip/atm.13.002safe3.32safe3.270?0.77-1?184.99-1?1199.91-1---
bip/atm.14.000safe532.45safe536.250?0.83-1?182.1-1?1199.37-1---
bip/atm.14.001safe2.66safe2.640?0.83-1?161.06-1?1199.88-1---
bip/atm.14.002safe4.96safe4.970?0.85-1?168.3-1?1199.18-1---
bip/atm.15.000safe839.27safe837.240?0.87-1?542.8-1?1199.06-1---
bip/atm.15.001safe2.8safe2.780?0.89-1?492.52-1?1199.65-1---
bip/atm.15.002safe5.94safe6.020?0.87-1?187.76-1?1198.12-1---
bip/atm.16.000safe692.5safe692.750?0.95-1?298.88-1?1198.47-1---
bip/atm.16.001safe8.95safe8.930?1.06-1?228.52-1?1198.1-1---
bip/atm.16.002safe5.03safe4.890?1.06-1?185.37-1?1198.14-1---
bip/atm.17.000?1201.84?1201.730?0.980?533.110?1197.930---
bip/atm.17.001safe2.92safe2.80?1.11-1?212.58-1?1198.55-1---
bip/atm.17.002safe10.11safe10.090?0.96-1?245.6-1?1198.14-1---
bip/atm.18.000?1202.16?1201.760?0.960?567.520?1198.130---
bip/atm.18.001safe2.68safe2.640?0.98-1?321.95-1?1198.01-1---
bip/atm.18.002safe1.34safe1.170?1.02-1?185.25-1?1198.43-1---
bip/atm.19.000?1201.73?1202.90?1.020?234.110?1198.330---
bip/atm.19.001safe2.77safe2.450?1.02-1?306.41-1?1197.97-1---
bip/atm.19.002safe4.33safe4.220?1.02-1?261.14-1?1198.1-1---
bip/atm.20.000?1201.48?1202.020?1.090?300.910?1198.120---
bip/atm.20.001safe7.61safe7.70?1.07-1?238.21-1?1198.02-1---
bip/atm.20.002safe4.91safe4.950?1.06-1?273.84-1?1197.42-1---
bip/atm.21.000safe29.68safe29.980?1.14-1?382.58-1?1197.28-1---
bip/atm.21.001safe4.46safe4.440?1.18-1?1125.39-1?1197.98-1---
bip/atm.21.002safe3.81safe3.70?1.15-1?438.12-1?1197.85-1---
bip/atm_local.02.000safe0.76safe0.650?0-1?467.96-1?1201.82-1---
bip/atm_local.02.001safe0.71safe0.590?0-1?1201.69-1?1201.91-1---
bip/atm_local.02.002safe0.46safe0.340?0-1?1201.95-1?1201.46-1---
bip/atm_local.03.000safe3.69safe3.570?0-1?663.61-1?1201.29-1---
bip/atm_local.03.001safe1.0safe1.010?0-1?1201.66-1?1201.42-1---
bip/atm_local.03.002safe0.71safe0.70?0-1?1202.02-1?1201.27-1---
bip/atm_local.04.000safe8.05safe7.920?0-1?801.58-1?1201.81-1---
bip/atm_local.04.001safe1.04safe1.020?0-1?1201.98-1?1201.73-1---
bip/atm_local.04.002safe0.49safe0.470?0-1?1201.74-1?1201.51-1---
bip/atm_local.05.000safe10.46safe10.350?0-1?1201.66-1?1201.46-1---
bip/atm_local.05.001safe0.72safe0.710?0-1?1201.68-1?1201.28-1---
bip/atm_local.05.002safe0.91safe0.920?0-1?1201.67-1?1201.27-1---
bip/atm_local.06.000safe6.27safe6.160?0.42-1?1201.73-1?1201.63-1---
bip/atm_local.06.001safe2.99safe2.920?0.43-1?838.34-1?1201.61-1---
bip/atm_local.06.002safe1.13safe1.10?0.43-1?910.49-1?1201.65-1---
bip/atm_local.07.000safe8.39safe8.320?0.45-1?1201.72-1?1200.76-1---
bip/atm_local.07.001safe1.27safe1.270?0.46-1?1099.19-1?1201.32-1---
bip/atm_local.07.002safe1.33safe1.370?0.45-1?530.17-1?1201.48-1---
bip/atm_local.08.000safe8.74safe8.730?0.5-1?1201.79-1?1201.57-1---
bip/atm_local.08.001safe1.68safe1.690?0.49-1?284.25-1?1201.28-1---
bip/atm_local.08.002safe0.74safe0.790?0.49-1?216.22-1?1200.72-1---
bip/atm_local.09.000safe9.83safe9.790?0.53-1?1201.79-1?1201.35-1---
bip/atm_local.09.001safe1.2safe1.170?0.54-1?366.64-1?1201.52-1---
bip/atm_local.09.002safe1.0safe0.990?0.53-1?269.0-1?1201.31-1---
bip/atm_local.10.000safe2.46safe2.430?0.61-1?1204.12-1?1200.6-1---
bip/atm_local.10.001safe1.4safe1.410?0.62-1?322.29-1?1200.83-1---
bip/atm_local.10.002safe2.07safe2.020?0.73-1?215.32-1?1200.61-1---
bip/atm_local.11.000safe11.17safe11.130?0.7-1?143.87-1?1199.91-1---
bip/atm_local.11.001safe1.43safe1.410?0.73-1?132.47-1?1199.93-1---
bip/atm_local.11.002safe2.81safe2.780?0.7-1?156.94-1?1199.87-1---
bip/atm_local.12.000safe5.57safe5.650?0.79-1?161.69-1?1199.54-1---
bip/atm_local.12.001safe2.21safe2.180?0.88-1?139.58-1?1199.61-1---
bip/atm_local.12.002safe2.34safe2.370?0.85-1?135.95-1?1199.43-1---
bip/atm_local.13.000safe4.75safe4.660?0.73-1?146.32-1?1198.8-1---
bip/atm_local.13.001safe3.34safe3.290?0.74-1?139.01-1?1200.0-1---
bip/atm_local.13.002safe3.88safe3.830?0.72-1?136.41-1?1199.05-1---
bip/atm_local.14.000safe3.41safe3.340?0.79-1?156.86-1?1198.22-1---
bip/atm_local.14.001safe2.47safe2.430?0.8-1?147.93-1?1199.27-1---
bip/atm_local.14.002safe3.19safe3.190?0.8-1?140.05-1?1198.43-1---
bip/atm_local.15.000safe3.41safe3.210?0.84-1?199.0-1?1197.87-1---
bip/atm_local.15.001safe2.47safe2.50?0.93-1?165.18-1?1199.44-1---
bip/atm_local.15.002safe3.91safe3.770?0.89-1?177.42-1?1198.64-1---
bip/atm_local.16.000safe81.16safe79.890?0.82-1?413.02-1?1198.18-1---
bip/atm_local.16.001safe2.57safe2.530?0.91-1?170.43-1?1199.23-1---
bip/atm_local.16.002safe3.23safe3.250?0.86-1?155.56-1?1197.37-1---
bip/atm_local.17.000safe13.24safe13.020?0.98-1?163.66-1?1198.42-1---
bip/atm_local.17.001safe2.1safe1.980?0.89-1?154.48-1?1198.9-1---
bip/atm_local.17.002safe2.75safe2.680?0.94-1?466.05-1?1197.66-1---
bip/atm_local.18.000safe7.84safe7.80?0.94-1?302.49-1?1197.59-1---
bip/atm_local.18.001safe3.22safe3.240?1.26-1?226.99-1?1198.51-1---
bip/atm_local.18.002safe1.94safe1.930?0.96-1?223.35-1?1197.74-1---
bip/atm_local.19.000safe19.74safe19.740?0.98-1?299.15-1?1197.43-1---
bip/atm_local.19.001safe2.96safe2.850?1.06-1?174.66-1?1197.35-1---
bip/atm_local.19.002safe4.45safe4.380?1.02-1?161.75-1?1198.05-1---
bip/atm_local.20.000safe17.62safe17.520?1.0-1?261.99-1?1197.52-1---
bip/atm_local.20.001safe3.17safe3.10?1.01-1?479.93-1?1198.33-1---
bip/atm_local.20.002safe3.96safe3.890?1.07-1?188.16-1?1197.76-1---
bip/atm_local.21.000safe6.46safe6.430?1.18-1?520.98-1?1198.37-1---
bip/atm_local.21.001safe4.69safe4.660?1.12-1?452.1-1?1198.4-1---
bip/atm_local.21.002safe3.57safe3.550?1.06-1?447.92-1?1198.03-1---
bip/mutual_exclusion.02.000safe0.07safe0.060safe7.270safe9.910?1201.76-1---
bip/mutual_exclusion.02.001safe12.93safe9.970?0-1?167.51-1?1201.44-1---
bip/mutual_exclusion.02.002safe5.49safe29.590?0-1?197.42-1?1201.47-1---
bip/mutual_exclusion.03.000safe0.06safe0.050safe27.680safe11.160?1201.57-1---
bip/mutual_exclusion.03.001unsafe1.16unsafe1.170?0-1?190.3-1?1201.52-1---
bip/mutual_exclusion.03.002safe39.19?1201.51-1?0-1?200.62-1?1201.67-1---
bip/mutual_exclusion.04.000safe0.08safe0.080safe50.00safe13.210?1201.91-1---
bip/mutual_exclusion.04.001unsafe0.99unsafe0.990?0-1?782.77-1?1201.74-1---
bip/mutual_exclusion.04.002safe29.23?1201.76-1?0-1?512.8-1?1201.6-1---
bip/mutual_exclusion.05.000safe0.06safe0.060safe220.20safe13.20?1201.57-1---
bip/mutual_exclusion.05.001unsafe2.18unsafe2.170?0-1?607.77-1?1201.57-1---
bip/mutual_exclusion.05.002safe78.78?1201.42-1?0-1?570.82-1?1201.67-1---
bip/mutual_exclusion.06.000safe0.08safe0.040safe352.090safe18.460?1201.28-1---
bip/mutual_exclusion.06.001unsafe5.11unsafe5.020?0-1?578.22-1?1201.32-1---
bip/mutual_exclusion.06.002safe233.01?1201.81-1?0-1?624.35-1?1201.98-1---
bip/mutual_exclusion.07.000safe0.09safe0.090safe637.530safe15.980?1201.32-1---
bip/mutual_exclusion.07.001unsafe6.39unsafe6.330?0-1?596.36-1?1201.66-1---
bip/mutual_exclusion.07.002safe253.42?1201.83-1?0-1?764.21-1?1201.34-1---
bip/mutual_exclusion.08.000safe0.17safe0.060safe656.140safe20.840?1201.33-1---
bip/mutual_exclusion.08.001unsafe3.34unsafe3.230?0-1?641.61-1?1201.31-1---
bip/mutual_exclusion.08.002?1201.88?1201.710?00?731.420?1201.120---
bip/mutual_exclusion.09.000safe0.06safe0.080?0-1safe17.740?1201.29-1---
bip/mutual_exclusion.09.001unsafe8.92unsafe8.90?0-1?887.27-1?1201.76-1---
bip/mutual_exclusion.09.002safe669.92?1201.68-1?0-1?1117.12-1?1201.45-1---
bip/mutual_exclusion.10.000safe0.29safe0.050?0-1safe19.530?1201.28-1---
bip/mutual_exclusion.10.001unsafe11.17unsafe10.920?0-1?0-1?1201.48-1---
bip/mutual_exclusion.10.002?1201.55?1201.790?00?863.020?1201.20---
bip/mutual_exclusion.11.000safe0.25safe0.050?0-1safe19.650?1201.7-1---
bip/mutual_exclusion.11.001unsafe10.04unsafe9.90?0-1?1204.15-1?1201.4-1---
bip/mutual_exclusion.11.002?1201.67?1201.330?00?1129.680?1201.190---
bip/mutual_exclusion.12.000safe0.4safe0.060?0-1safe21.710?1201.48-1---
bip/mutual_exclusion.12.001unsafe14.75unsafe14.570?0-1?1201.9-1?1201.28-1---
bip/mutual_exclusion.12.002?1201.61?1201.740?00?1201.780?1201.70---
bip/mutual_exclusion.13.000safe0.08safe0.060?0-1safe22.020?1201.2-1---
bip/mutual_exclusion.13.001unsafe12.58unsafe12.330?0-1?1201.85-1?1201.27-1---
bip/mutual_exclusion.13.002?1201.44?1201.720?00?1201.710?1201.280---
bip/mutual_exclusion.14.000safe0.09safe0.210?0-1safe25.180?1201.67-1---
bip/mutual_exclusion.14.001unsafe35.95unsafe36.320?0-1?1201.7-1?1201.6-1---
bip/mutual_exclusion.14.002?1201.93?1201.640?00?1201.790?1201.530---
bip/mutual_exclusion.15.000safe0.09safe0.060?0.61-1safe25.670?1201.39-1---
bip/mutual_exclusion.15.001unsafe21.32unsafe21.630?0.52-1?1201.69-1?1201.43-1---
bip/mutual_exclusion.15.002?1201.75?1201.780?00?1201.810?1201.310---
bip/mutual_exclusion.16.000safe0.19safe0.060?0.62-1safe27.750?1201.67-1---
bip/mutual_exclusion.16.001unsafe19.21unsafe19.130?0.53-1?1202.02-1?1201.39-1---
bip/mutual_exclusion.16.002?1201.54?1201.170?0.520?1201.780?1201.650---
bip/mutual_exclusion.17.000safe0.19safe0.070?0.64-1safe27.460?1201.66-1---
bip/mutual_exclusion.17.001unsafe15.89unsafe15.680?0.55-1?1201.94-1?1201.4-1---
bip/mutual_exclusion.17.002?1201.52?1201.460?0.560?1202.00?1201.430---
bip/mutual_exclusion.18.000safe0.12safe0.080?0.6-1safe28.520?1201.84-1---
bip/mutual_exclusion.18.001unsafe53.02unsafe52.40?0.69-1?1201.84-1?1201.33-1---
bip/mutual_exclusion.18.002?1201.41?1201.990?0.680?1201.730?1201.820---
bip/mutual_exclusion.19.000safe0.12safe0.080?0.71-1safe25.50?1201.35-1---
bip/mutual_exclusion.19.001unsafe44.84unsafe44.270?0.73-1?1201.76-1?1201.4-1---
bip/mutual_exclusion.19.002?1201.59?1201.620?0.710?1201.860?1201.560---
bip/mutual_exclusion.20.000safe0.2safe0.090?0.72-1safe40.860?1201.58-1---
bip/mutual_exclusion.20.001unsafe192.73unsafe182.240?0.74-1?1201.84-1?1201.33-1---
bip/mutual_exclusion.20.002?1201.91?1201.50?0.610?1201.820?1201.350---
bip/mutual_exclusion.21.000safe0.19safe0.090?0.63-1safe30.250?1201.77-1---
bip/mutual_exclusion.21.001unsafe28.18unsafe27.750?0.63-1?1201.74-1?1201.5-1---
bip/mutual_exclusion.21.002?1201.9?1201.630?0.730?1201.740?1201.560---
bip/mutual_exclusion_local.02.000safe0.16safe0.040safe16.070safe9.260?1201.69-1---
bip/mutual_exclusion_local.02.001safe7.36safe16.880?0-1?166.26-1?1201.28-1---
bip/mutual_exclusion_local.02.002safe8.47safe28.170?0-1?149.18-1?1201.71-1---
bip/mutual_exclusion_local.03.000safe0.18safe0.050safe58.750safe10.720?1201.68-1---
bip/mutual_exclusion_local.03.001unsafe27.0unsafe42.590?0-1?203.7-1?1201.73-1---
bip/mutual_exclusion_local.03.002safe17.43safe1103.290?0-1?174.51-1?1201.72-1---
bip/mutual_exclusion_local.04.000safe0.17safe0.050safe118.920safe12.190?1201.87-1---
bip/mutual_exclusion_local.04.001unsafe35.34unsafe153.580?0-1?270.56-1?1201.73-1---
bip/mutual_exclusion_local.04.002safe26.55?1201.7-1?0-1?263.94-1?1201.68-1---
bip/mutual_exclusion_local.05.000safe0.06safe0.040safe390.120safe13.350?1201.68-1---
bip/mutual_exclusion_local.05.001unsafe63.7unsafe181.490?0-1?504.95-1?1201.73-1---
bip/mutual_exclusion_local.05.002safe25.13?1201.48-1?0-1?322.56-1?1201.72-1---
bip/mutual_exclusion_local.06.000safe0.06safe0.050safe1195.390safe14.390?1201.47-1---
bip/mutual_exclusion_local.06.001unsafe87.3unsafe476.870?0-1?419.2-1?1201.73-1---
bip/mutual_exclusion_local.06.002safe81.5?1201.93-1?0-1?620.83-1?1201.48-1---
bip/mutual_exclusion_local.07.000safe0.08safe0.160safe1028.20safe15.960?1201.22-1---
bip/mutual_exclusion_local.07.001unsafe311.75unsafe764.160?0-1?524.18-1?1201.46-1---
bip/mutual_exclusion_local.07.002safe113.58?1201.9-1?0-1?703.13-1?1201.46-1---
bip/mutual_exclusion_local.08.000safe0.18safe0.180?0-1safe16.910?1201.43-1---
bip/mutual_exclusion_local.08.001unsafe427.64?1202.3-1?0-1?859.86-1?1201.59-1---
bip/mutual_exclusion_local.08.002?1201.62?1201.990?00?829.110?1201.30---
bip/mutual_exclusion_local.09.000safe0.16safe0.050?0-1safe15.530?1201.47-1---
bip/mutual_exclusion_local.09.001unsafe417.08?1202.03-1?0-1?1115.39-1?1201.47-1---
bip/mutual_exclusion_local.09.002safe307.57?1201.52-1?0-1?786.86-1?1201.44-1---
bip/mutual_exclusion_local.10.000safe0.17safe0.170?0-1safe18.590?1201.26-1---
bip/mutual_exclusion_local.10.001unsafe192.15?1202.01-1?0-1?982.85-1?1201.25-1---
bip/mutual_exclusion_local.10.002safe131.69?1201.52-1?0-1?895.38-1?1200.96-1---
bip/mutual_exclusion_local.11.000safe0.16safe0.050?0-1safe19.730?1201.45-1---
bip/mutual_exclusion_local.11.001unsafe516.25?1201.55-1?0-1?1168.27-1?1201.55-1---
bip/mutual_exclusion_local.11.002safe136.07?1201.77-1?0-1?1169.47-1?1201.37-1---
bip/mutual_exclusion_local.12.000safe0.18safe0.170?0-1safe21.260?1201.26-1---
bip/mutual_exclusion_local.12.001?1201.63?1201.480?00?1201.680?1201.430---
bip/mutual_exclusion_local.12.002safe177.69?1201.68-1?0-1?1204.16-1?1201.2-1---
bip/mutual_exclusion_local.13.000safe0.19safe0.070?0-1safe21.250?1201.24-1---
bip/mutual_exclusion_local.13.001unsafe298.34?1201.85-1?0-1?1201.68-1?1201.55-1---
bip/mutual_exclusion_local.13.002safe1104.72?1201.95-1?0-1?1201.7-1?1201.4-1---
bip/mutual_exclusion_local.14.000safe0.09safe0.060?0-1safe21.350?1201.73-1---
bip/mutual_exclusion_local.14.001unsafe892.53?1201.83-1?0-1?1201.74-1?1201.78-1---
bip/mutual_exclusion_local.14.002safe922.82?1201.69-1?0-1?1201.74-1?1201.34-1---
bip/mutual_exclusion_local.15.000safe0.09safe0.060?0-1safe24.770?1201.07-1---
bip/mutual_exclusion_local.15.001unsafe353.8?1201.52-1?0-1?1201.68-1?1201.46-1---
bip/mutual_exclusion_local.15.002?1201.99?1201.530?00?1201.890?1201.350---
bip/mutual_exclusion_local.16.000safe0.19safe0.060?0.63-1safe25.610?1201.72-1---
bip/mutual_exclusion_local.16.001unsafe215.48?1201.81-1?0.52-1?1202.0-1?1201.71-1---
bip/mutual_exclusion_local.16.002safe493.54?1202.16-1?0.53-1?1201.76-1?1201.29-1---
bip/mutual_exclusion_local.17.000safe0.2safe0.070?0.63-1safe26.370?1201.37-1---
bip/mutual_exclusion_local.17.001?1201.62?1201.990?0.540?1201.810?1201.060---
bip/mutual_exclusion_local.17.002safe464.39?1201.63-1?0.64-1?1201.8-1?1201.34-1---
bip/mutual_exclusion_local.18.000safe0.09safe0.190?0.55-1safe28.270?1201.44-1---
bip/mutual_exclusion_local.18.001?1201.81?1201.580?0.540?1201.720?1201.30---
bip/mutual_exclusion_local.18.002safe1184.87?1201.69-1?0.64-1?1201.75-1?1201.59-1---
bip/mutual_exclusion_local.19.000safe0.19safe0.070?0.68-1safe29.080?1201.57-1---
bip/mutual_exclusion_local.19.001?1202.13?1201.920?0.680?1201.790?1201.660---
bip/mutual_exclusion_local.19.002safe417.23?1202.1-1?0.67-1?1201.79-1?1201.74-1---
bip/mutual_exclusion_local.20.000safe0.19safe0.080?0.71-1safe45.670?1201.38-1---
bip/mutual_exclusion_local.20.001?1201.89?1201.850?0.70?1201.790?1201.310---
bip/mutual_exclusion_local.20.002?1201.88?1201.850?0.70?1201.880?1201.540---
bip/mutual_exclusion_local.21.000safe0.1safe0.170?0.7-1safe27.050?1201.4-1---
bip/mutual_exclusion_local.21.001?1201.56?1201.940?0.70?1201.810?1201.660---
bip/mutual_exclusion_local.21.002?1202.0?1201.630?0.710?1201.750?1201.760---
timed-toint/counter.003.000safe3.7safe3.390?0.42-1?458.68-1?146.61-1---
timed-toint/counter.004.000safe16.44?1201.87-1?0.43-1?375.28-1?163.09-1---
timed-toint/counter.005.000safe214.08?1202.03-1?0.39-1?531.15-1?186.65-1---
timed-toint/counter.006.000?1201.22?1201.230?0.40?408.80?194.230---
timed-toint/counter.007.000?1201.13?1201.990?0.350?468.950?176.50---
timed-toint/counter.008.000?1202.01?1202.150?0.390?385.50?247.360---
timed-toint/counter.009.000?1202.03?1201.950?0.390?386.790?199.80---
timed-toint/counter.010.000?1201.78?1201.730?0.450?200.980?231.040---
timed-toint/csma_aut.002.000?1201.82?944.220?2.120?1201.640?1201.350---
timed-toint/csma_aut.002.001safe7.82safe7.780?1.9-1?1201.67-1?1201.79-1---
timed-toint/csma_aut.002.002safe0.86safe0.860?1.94-1?1201.78-1?1201.2-1---
timed-toint/csma_aut.003.000?1201.28?1201.850?3.550?1201.850?1201.70---
timed-toint/csma_aut.003.001?1201.58?1201.880?2.990?1201.670?1201.350---
timed-toint/csma_aut.003.002safe0.65safe0.480?3.12-1?1201.73-1?1201.6-1---
timed-toint/csma_aut.004.000?1201.95?1201.710?5.850?1201.720?1201.380---
timed-toint/csma_aut.004.001?1201.83?1201.780?4.340?1201.660?1201.240---
timed-toint/csma_aut.004.002safe1.02safe1.010?4.59-1?1201.76-1?1201.3-1---
timed-toint/csma_aut.005.000?1202.23?1201.610?10.630?1201.870?1201.180---
timed-toint/csma_aut.005.001?1201.83?1201.910?6.220?1201.70?1201.310---
timed-toint/csma_aut.005.002safe1.48safe1.340?6.44-1?1201.72-1?1201.91-1---
timed-toint/csma_aut.006.000?1201.68?1201.960?21.540?1201.660?1201.30---
timed-toint/csma_aut.006.001?1201.67?1202.050?8.190?1201.680?1201.390---
timed-toint/csma_aut.006.002safe2.14safe2.010?8.77-1?1201.72-1?1201.27-1---
timed-toint/csma_aut.007.000?1202.12?1201.940?44.630?1201.670?1201.350---
timed-toint/csma_aut.007.001?1203.09?1201.830?11.270?1201.660?1201.230---
timed-toint/csma_aut.007.002safe2.47safe2.440?12.09-1?1201.69-1?1201.46-1---
timed-toint/csma_aut.008.000?1201.65?1201.80?90.650?1201.690?1201.390---
timed-toint/csma_aut.008.001?1201.58?1201.660?14.790?1204.080?1201.250---
timed-toint/csma_aut.008.002safe2.35safe2.340?16.65-1?1201.71-1?1201.49-1---
timed-toint/csma_aut.009.000?1202.11?1201.860?200.180?1201.750?1201.410---
timed-toint/csma_aut.009.001?1201.43?1201.890?21.150?1201.710?1201.430---
timed-toint/csma_aut.009.002safe1.22safe1.10?22.85-1?1201.73-1?1201.47-1---
timed-toint/csma_aut.010.000?1201.86?1201.530?499.450?1201.770?1201.280---
timed-toint/csma_aut.010.001?1201.7?1201.330?28.130?1201.780?1201.430---
timed-toint/csma_aut.010.002safe1.11safe0.970?30.55-1?1201.68-1?1201.29-1---
timed-toint/csma_aut.011.000?1201.96?1201.620?00?1201.680?1201.560---
timed-toint/csma_aut.011.001?1201.51?1201.760?36.440?1201.740?1201.230---
timed-toint/csma_aut.011.002safe5.43safe5.260?39.36-1?415.33-1?1201.23-1---
timed-toint/csma_aut.012.000?1201.96?1201.850?00?290.110?1201.460---
timed-toint/csma_aut.012.001?1202.24?1201.130?44.710?1201.670?1201.250---
timed-toint/csma_aut.012.002safe5.66safe5.540?48.83-1?0-1?1201.42-1---
timed-toint/csma_aut.013.000?1201.52?1201.60?00?414.810?1201.360---
timed-toint/csma_aut.013.001?1201.8?1202.090?55.20?214.220?1201.230---
timed-toint/csma_aut.013.002safe6.35safe6.220?67.91-1?198.0-1?1201.51-1---
timed-toint/csma_aut.014.000?1201.47?1201.550?00?619.350?1201.420---
timed-toint/csma_aut.014.001?1201.49?1201.580?67.180?205.10?1201.580---
timed-toint/csma_aut.014.002safe5.89safe5.760?73.87-1?367.92-1?1201.43-1---
timed-toint/csma_aut.015.000?1201.76?1201.660?00?395.10?1201.870---
timed-toint/csma_aut.015.001?1201.68?1201.970?80.710?251.710?1201.370---
timed-toint/csma_aut.015.002safe9.27safe9.140?90.91-1?264.28-1?1201.44-1---
timed-toint/fischer_aut.002.000safe0.38safe0.380?2.6-1?1204.13-1?1080.44-1---
timed-toint/fischer_aut.002.001safe2.2safe2.170?3.76-1?1201.73-1?1181.35-1---
timed-toint/fischer_aut.002.002safe17.3safe17.180?1.95-1?970.98-1?645.5-1---
timed-toint/fischer_aut.002.003safe0.59safe0.460?1.97-1?1201.63-1?739.77-1---
timed-toint/fischer_aut.002.004safe1.18safe1.070?1.96-1?1201.68-1?703.81-1---
timed-toint/fischer_aut.002.005safe0.42safe0.310?2.02-1?1201.68-1?698.71-1---
timed-toint/fischer_aut.003.000safe0.46safe0.360?6.74-1?1201.73-1?1201.7-1---
timed-toint/fischer_aut.003.001safe8.61safe8.470?22.58-1?1201.66-1?1201.63-1---
timed-toint/fischer_aut.003.002safe143.9safe143.950?5.13-1?1201.72-1?1201.65-1---
timed-toint/fischer_aut.003.003safe1.42safe1.380?5.2-1?1201.74-1?1201.82-1---
timed-toint/fischer_aut.003.004safe1.88safe1.850?5.2-1?1201.74-1?1201.25-1---
timed-toint/fischer_aut.003.005safe0.71safe0.710?5.18-1?1201.75-1?1201.67-1---
timed-toint/fischer_aut.004.000safe0.52safe0.50?16.47-1?1201.76-1?1201.66-1---
timed-toint/fischer_aut.004.001safe14.61safe14.620?124.81-1?1201.72-1?1201.63-1---
timed-toint/fischer_aut.004.002safe203.37safe207.550?10.05-1?1201.75-1?1201.71-1---
timed-toint/fischer_aut.004.003safe0.42safe0.30?9.95-1?1201.66-1?1201.2-1---
timed-toint/fischer_aut.004.004safe0.62safe0.510?10.01-1?1201.73-1?1201.49-1---
timed-toint/fischer_aut.004.005safe0.48safe0.380?9.91-1?1201.74-1?1201.47-1---
timed-toint/fischer_aut.005.000safe0.94safe0.830?42.06-1?1201.67-1?1201.29-1---
timed-toint/fischer_aut.005.001safe66.35safe66.250?1011.97-1?1201.72-1?1201.22-1---
timed-toint/fischer_aut.005.002?1201.77?1201.920?29.380?1201.70?1201.340---
timed-toint/fischer_aut.005.003safe0.94safe0.820?25.65-1?1201.72-1?1201.59-1---
timed-toint/fischer_aut.005.004safe1.38safe1.530?25.55-1?1201.74-1?1201.2-1---
timed-toint/fischer_aut.005.005safe0.8safe0.760?25.29-1?1201.88-1?1201.43-1---
timed-toint/fischer_aut.006.000safe0.96safe0.860?103.91-1?1201.71-1?1201.37-1---
timed-toint/fischer_aut.006.001safe92.71safe95.750?0-1?1201.71-1?1201.38-1---
timed-toint/fischer_aut.006.002safe1062.51safe1012.620?60.08-1?1201.69-1?1201.77-1---
timed-toint/fischer_aut.006.003safe2.53safe2.40?60.5-1?1201.69-1?1201.33-1---
timed-toint/fischer_aut.006.004safe0.68safe0.550?60.4-1?1201.68-1?1201.19-1---
timed-toint/fischer_aut.006.005safe2.23safe2.10?60.93-1?1201.77-1?1201.31-1---
timed-toint/fischer_aut.007.000safe1.3safe1.180?308.34-1?1201.67-1?1201.24-1---
timed-toint/fischer_aut.007.001safe159.98safe164.930?0-1?1201.66-1?1201.42-1---
timed-toint/fischer_aut.007.002safe643.7safe662.670?167.11-1?1201.71-1?1201.65-1---
timed-toint/fischer_aut.007.003safe2.06safe1.960?184.69-1?1201.72-1?1201.3-1---
timed-toint/fischer_aut.007.004safe3.22safe3.120?167.97-1?1201.66-1?1201.48-1---
timed-toint/fischer_aut.007.005safe1.99safe1.890?187.75-1?1201.75-1?1201.38-1---
timed-toint/fischer_aut.008.000safe1.14safe1.120?725.65-1?1201.79-1?1201.41-1---
timed-toint/fischer_aut.008.001safe154.09safe151.860?0-1?1201.67-1?1201.29-1---
timed-toint/fischer_aut.008.002?1201.37?1202.050?418.420?1201.720?1201.60---
timed-toint/fischer_aut.008.003safe1.87safe1.870?354.45-1?1201.65-1?1200.99-1---
timed-toint/fischer_aut.008.004safe2.05safe1.970?356.56-1?1201.69-1?1201.45-1---
timed-toint/fischer_aut.008.005safe1.18safe1.010?356.62-1?1201.69-1?1201.17-1---
timed-toint/fischer_aut.009.000safe1.54safe1.510?0-1?1201.68-1?1201.25-1---
timed-toint/fischer_aut.009.001safe350.16safe331.190?0-1?1201.73-1?1201.19-1---
timed-toint/fischer_aut.009.002?1202.61?1201.20?851.150?1201.680?1201.370---
timed-toint/fischer_aut.009.003safe0.96safe0.850?853.61-1?1201.67-1?1201.56-1---
timed-toint/fischer_aut.009.004safe2.88safe2.810?971.96-1?1201.74-1?1202.13-1---
timed-toint/fischer_aut.009.005safe1.02safe0.950?854.22-1?1201.69-1?1201.39-1---
timed-toint/fischer_aut.010.000safe1.48safe1.340?0-1?1204.68-1?1201.35-1---
timed-toint/fischer_aut.010.001safe293.18safe292.20?0-1?1201.7-1?1201.53-1---
timed-toint/fischer_aut.010.002?1201.94?1201.810?00?1201.660?1201.430---
timed-toint/fischer_aut.010.003safe4.05safe4.030?0-1?1201.72-1?1201.25-1---
timed-toint/fischer_aut.010.004safe1.18safe1.150?0-1?1201.68-1?1201.33-1---
timed-toint/fischer_aut.010.005safe2.86safe2.850?0-1?1201.79-1?1201.25-1---
timed-toint/fischer_aut.011.000safe2.78safe2.790?0-1?1201.74-1?1201.25-1---
timed-toint/fischer_aut.011.001?1201.44safe1164.85+1?34.260?1201.670?1201.190---
timed-toint/fischer_aut.011.002?1201.51?1201.650?00?1201.740?1201.630---
timed-toint/fischer_aut.011.003safe5.22safe5.120?0-1?1201.76-1?1201.34-1---
timed-toint/fischer_aut.011.004safe4.69safe4.570?0-1?1201.76-1?1201.19-1---
timed-toint/fischer_aut.011.005safe10.45safe10.390?0-1?1201.74-1?1201.33-1---
timed-toint/fischer_aut.012.000safe3.76safe3.650?0-1?1201.71-1?1201.36-1---
timed-toint/fischer_aut.012.001safe328.7safe312.060?35.05-1?1201.74-1?1201.51-1---
timed-toint/fischer_aut.012.002?1202.17?1201.950?00?1201.760?1201.610---
timed-toint/fischer_aut.012.003safe2.18safe2.150?0-1?1201.71-1?1201.23-1---
timed-toint/fischer_aut.012.004safe3.97safe3.870?0-1?1201.77-1?1201.33-1---
timed-toint/fischer_aut.012.005safe3.98safe3.820?0-1?1201.77-1?1201.31-1---
timed-toint/fischer_aut.013.000safe4.31safe4.320?0-1?1201.74-1?1201.21-1---
timed-toint/fischer_aut.013.001safe455.22safe450.290?33.88-1?1201.66-1?1201.15-1---
timed-toint/fischer_aut.013.002?1201.66?1201.630?00?1201.680?1201.580---
timed-toint/fischer_aut.013.003safe6.5safe6.460?0-1?1201.73-1?1201.43-1---
timed-toint/fischer_aut.013.004safe2.94safe2.840?0-1?1201.72-1?1201.14-1---
timed-toint/fischer_aut.013.005safe6.65safe6.530?0-1?1201.74-1?1201.28-1---
timed-toint/fischer_aut.014.000safe2.67safe2.530?0-1?1201.74-1?1201.39-1---
timed-toint/fischer_aut.014.001safe380.8safe389.240?0.57-1?1201.73-1?1201.43-1---
timed-toint/fischer_aut.014.002?1201.94?1201.770?00?1201.780?1201.830---
timed-toint/fischer_aut.014.003safe10.27safe10.170?0-1?1201.72-1?1201.27-1---
timed-toint/fischer_aut.014.004safe3.05safe2.930?0-1?1201.67-1?1201.27-1---
timed-toint/fischer_aut.014.005safe7.88safe7.730?0-1?1201.83-1?1201.3-1---
timed-toint/fischer_aut.015.000safe3.51safe3.380?0-1?1201.75-1?1201.3-1---
timed-toint/fischer_aut.015.001safe1168.59safe1192.170?0.61-1?710.2-1?1201.43-1---
timed-toint/fischer_aut.015.002?1201.87?1202.050?00?1201.750?1201.330---
timed-toint/fischer_aut.015.003safe7.67safe7.570?0-1?899.28-1?1201.67-1---
timed-toint/fischer_aut.015.004safe2.43safe2.280?0-1?0-1?1201.48-1---
timed-toint/fischer_aut.015.005safe10.81safe10.690?0-1?1201.68-1?1201.36-1---
timed-toint/fischer_sal_aut.002.000safe0.48safe0.350?2.24-1safe512.250?1077.96-1---
timed-toint/fischer_sal_aut.002.001safe2.26safe2.130?3.46-1?1201.69-1?1201.93-1---
timed-toint/fischer_sal_aut.002.002safe6.98safe6.920?1.7-1?1201.65-1?680.91-1---
timed-toint/fischer_sal_aut.002.003safe2.22safe2.20?1.69-1?1204.05-1?706.17-1---
timed-toint/fischer_sal_aut.002.004?1201.79?558.940?1.690?1201.740?723.940---
timed-toint/fischer_sal_aut.002.005?1201.9?624.270?1.680?1201.680?701.40---
timed-toint/fischer_sal_aut.003.000safe0.45safe0.310?5.91-1safe456.040?1201.79-1---
timed-toint/fischer_sal_aut.003.001safe5.29safe5.310?20.47-1?1201.68-1?1201.92-1---
timed-toint/fischer_sal_aut.003.002safe76.49safe74.70?4.46-1?1201.78-1?1201.93-1---
timed-toint/fischer_sal_aut.003.003safe1.64safe1.520?4.54-1?1201.7-1?1201.58-1---
timed-toint/fischer_sal_aut.003.004?1201.88?594.990?4.520?1201.690?1201.770---
timed-toint/fischer_sal_aut.003.005?1201.82?571.00?4.510?1201.80?1201.720---
timed-toint/fischer_sal_aut.004.000safe0.78safe0.660?14.03-1?1201.74-1?1201.4-1---
timed-toint/fischer_sal_aut.004.001safe8.66safe8.50?115.61-1?1201.7-1?1201.93-1---
timed-toint/fischer_sal_aut.004.002safe43.53safe43.850?8.75-1?1201.68-1?1201.62-1---
timed-toint/fischer_sal_aut.004.003safe4.41safe4.330?8.77-1?1201.74-1?1201.63-1---
timed-toint/fischer_sal_aut.004.004?1201.92?575.190?8.70?1201.740?1201.570---
timed-toint/fischer_sal_aut.004.005?1201.89?596.140?8.690?1201.650?1201.650---
timed-toint/fischer_sal_aut.005.000safe0.89safe0.780?37.99-1?1201.63-1?1201.5-1---
timed-toint/fischer_sal_aut.005.001safe110.0safe110.070?1022.74-1?1201.71-1?1201.52-1---
timed-toint/fischer_sal_aut.005.002safe853.56safe819.810?23.05-1?1201.71-1?1201.52-1---
timed-toint/fischer_sal_aut.005.003safe2.56safe2.450?22.7-1?1201.68-1?1201.42-1---
timed-toint/fischer_sal_aut.005.004?1201.86?629.840?22.540?1201.640?1201.420---
timed-toint/fischer_sal_aut.005.005?1201.59?572.060?22.540?1201.740?1201.480---
timed-toint/fischer_sal_aut.006.000safe1.08safe0.970?93.9-1?1201.69-1?1201.32-1---
timed-toint/fischer_sal_aut.006.001safe117.38safe117.80?0-1?1201.68-1?1201.57-1---
timed-toint/fischer_sal_aut.006.002safe483.62safe471.110?54.52-1?1201.74-1?1201.47-1---
timed-toint/fischer_sal_aut.006.003safe3.76safe3.710?62.97-1?1201.7-1?1201.53-1---
timed-toint/fischer_sal_aut.006.004?1201.33?952.10?54.40?00?1201.360---
timed-toint/fischer_sal_aut.006.005?1201.34?811.320?54.520?1201.760?1201.480---
timed-toint/fischer_sal_aut.007.000safe1.25safe1.120?281.44-1?1201.72-1?1201.44-1---
timed-toint/fischer_sal_aut.007.001safe134.67safe134.540?0-1?1201.97-1?1201.29-1---
timed-toint/fischer_sal_aut.007.002safe625.06safe594.110?152.79-1?1201.73-1?1201.29-1---
timed-toint/fischer_sal_aut.007.003safe9.21safe9.020?155.44-1?1201.68-1?1201.43-1---
timed-toint/fischer_sal_aut.007.004?1201.74?1201.810?154.210?1201.680?1201.260---
timed-toint/fischer_sal_aut.007.005?1201.84?843.410?152.990?1201.670?1201.270---
timed-toint/fischer_sal_aut.008.000safe1.76safe1.680?778.86-1?1201.73-1?1201.45-1---
timed-toint/fischer_sal_aut.008.001safe432.92safe429.080?0-1?1201.73-1?1201.48-1---
timed-toint/fischer_sal_aut.008.002?1201.56?1201.340?373.640?1201.750?1201.40---
timed-toint/fischer_sal_aut.008.003safe13.13safe13.210?332.22-1?1201.66-1?1201.4-1---
timed-toint/fischer_sal_aut.008.004?1201.74?1081.910?342.530?1201.740?1201.450---
timed-toint/fischer_sal_aut.008.005?1201.55?1202.790?341.170?1201.720?1201.520---
timed-toint/fischer_sal_aut.009.000safe2.3safe2.290?0-1?1201.65-1?1201.38-1---
timed-toint/fischer_sal_aut.009.001safe329.75safe329.00?0-1?1201.78-1?1201.14-1---
timed-toint/fischer_sal_aut.009.002safe771.15safe806.540?824.63-1?1201.74-1?1201.14-1---
timed-toint/fischer_sal_aut.009.003safe7.04safe6.960?892.65-1?1201.73-1?1201.32-1---
timed-toint/fischer_sal_aut.009.004?1201.75?1201.650?789.870?1201.710?1201.380---
timed-toint/fischer_sal_aut.009.005?1201.39?1202.060?925.280?1201.710?1201.220---
timed-toint/fischer_sal_aut.010.000safe1.56safe1.550?0-1?1201.85-1?1201.35-1---
timed-toint/fischer_sal_aut.010.001safe156.48safe157.040?0-1?1201.66-1?1201.4-1---
timed-toint/fischer_sal_aut.010.002?1201.72?1201.690?00?1201.720?1201.470---
timed-toint/fischer_sal_aut.010.003safe8.27safe8.230?0-1?1201.74-1?1201.38-1---
timed-toint/fischer_sal_aut.010.004?1201.75?1201.880?00?1201.690?1201.450---
timed-toint/fischer_sal_aut.010.005?1202.06?1201.80?00?1204.440?1201.490---
timed-toint/fischer_sal_aut.011.000safe1.65safe1.630?0-1?1201.66-1?1201.63-1---
timed-toint/fischer_sal_aut.011.001safe272.15safe279.550?34.17-1?1201.69-1?1201.26-1---
timed-toint/fischer_sal_aut.011.002?1201.56?1201.250?00?1201.680?1201.260---
timed-toint/fischer_sal_aut.011.003safe10.45safe10.420?0-1?1201.71-1?1201.32-1---
timed-toint/fischer_sal_aut.011.004?1201.83?1201.650?00?1201.670?1201.260---
timed-toint/fischer_sal_aut.011.005?1201.79?1192.240?00?1201.750?1201.320---
timed-toint/fischer_sal_aut.012.000safe2.14safe2.030?0-1?1201.71-1?1201.27-1---
timed-toint/fischer_sal_aut.012.001safe173.51safe173.220?34.32-1?1201.68-1?1201.73-1---
timed-toint/fischer_sal_aut.012.002?1201.59?1201.740?00?1201.710?1201.350---
timed-toint/fischer_sal_aut.012.003safe53.74safe53.610?0-1?1201.68-1?1201.3-1---
timed-toint/fischer_sal_aut.012.004?1201.75?1201.660?00?1201.70?1201.340---
timed-toint/fischer_sal_aut.012.005?1201.73?1201.710?00?1201.710?1201.360---
timed-toint/fischer_sal_aut.013.000safe2.42safe2.380?0-1?1201.72-1?1201.69-1---
timed-toint/fischer_sal_aut.013.001?1201.74?1201.670?34.350?1201.750?1201.20---
timed-toint/fischer_sal_aut.013.002?1201.87?1201.780?00?1201.760?1201.20---
timed-toint/fischer_sal_aut.013.003safe24.96safe25.170?0-1?1201.88-1?1201.27-1---
timed-toint/fischer_sal_aut.013.004?1201.65?1202.150?00?1201.70?1201.350---
timed-toint/fischer_sal_aut.013.005?1201.62?1201.860?00?1201.660?1201.190---
timed-toint/fischer_sal_aut.014.000safe2.42safe2.40?0-1?1201.75-1?1201.35-1---
timed-toint/fischer_sal_aut.014.001safe922.08safe933.480?0.58-1?1201.74-1?1201.69-1---
timed-toint/fischer_sal_aut.014.002?1202.01?1202.090?00?1201.80?1201.350---
timed-toint/fischer_sal_aut.014.003safe43.91safe43.810?0-1?1201.74-1?1201.38-1---
timed-toint/fischer_sal_aut.014.004?1201.82?1201.70?00?1201.670?1201.340---
timed-toint/fischer_sal_aut.014.005?1201.96?1201.550?00?1201.670?1201.370---
timed-toint/fischer_sal_aut.015.000safe2.91safe2.840?0-1?1201.65-1?1201.79-1---
timed-toint/fischer_sal_aut.015.001safe570.96safe553.20?0.53-1?675.04-1?1201.35-1---
timed-toint/fischer_sal_aut.015.002?1201.35?1201.90?00?1201.690?1201.350---
timed-toint/fischer_sal_aut.015.003safe18.62safe18.460?0-1?1201.65-1?1201.76-1---
timed-toint/fischer_sal_aut.015.004?1201.61?1201.490?00?1089.270?1201.310---
timed-toint/fischer_sal_aut.015.005?1201.79?1201.630?00?1123.370?1201.260---
timed-toint/hddi.002.000safe55.63safe56.260?5.39-1?1201.68-1?1201.58-1---
timed-toint/hddi.002.001safe76.78safe76.330?5.4-1?1201.66-1?1201.8-1---
timed-toint/hddi.002.002safe70.99safe70.80?5.33-1?1201.69-1?1201.83-1---
timed-toint/hddi.002.003?1201.56?1201.510?00?1201.680?1201.780---
timed-toint/hddi.003.000safe993.63safe995.670?8.24-1?1201.66-1?1201.49-1---
timed-toint/hddi.003.001safe399.54safe388.050?8.12-1?1201.68-1?1201.71-1---
timed-toint/hddi.003.002safe387.79safe375.840?8.15-1?1201.7-1?1201.44-1---
timed-toint/hddi.003.003?1201.65?1201.90?00?1201.720?1201.480---
timed-toint/hddi.004.000?1201.79?1201.720?19.160?1201.710?1201.480---
timed-toint/hddi.004.001?1201.91?1201.880?19.240?1201.720?1201.40---
timed-toint/hddi.004.002?1201.72?1201.740?19.590?00?1201.30---
timed-toint/hddi.004.003?1201.42?1201.570?00?1201.710?1201.240---
timed-toint/hddi.005.000?1202.83?1201.530?44.170?1201.720?1201.210---
timed-toint/hddi.005.001?1201.88?1201.560?44.430?1201.740?1201.570---
timed-toint/hddi.005.002?1201.67?1201.680?45.270?1201.760?1201.270---
timed-toint/hddi.005.003?1201.91?1201.740?00?1201.750?1201.290---
timed-toint/hddi.006.000?1201.72?1201.550?141.410?1201.660?1202.050---
timed-toint/hddi.006.001?1201.99?1201.720?145.570?1201.720?1201.420---
timed-toint/hddi.006.002?1201.81?1201.640?141.480?1201.710?1201.520---
timed-toint/hddi.006.003?1202.15?1201.950?00?1201.750?1201.20---
timed-toint/hddi.007.000?1201.3?1201.870?295.860?1201.720?1201.20---
timed-toint/hddi.007.001?1201.91?1201.950?298.870?1201.750?1201.330---
timed-toint/hddi.007.002?1202.0?1201.770?299.220?1201.670?1201.510---
timed-toint/hddi.007.003?1201.61?1201.530?00?1201.720?1201.40---
timed-toint/hddi.008.000?1201.72?1201.770?620.460?1201.740?1201.240---
timed-toint/hddi.008.001?1202.19?1201.650?631.040?1201.720?1201.380---
timed-toint/hddi.008.002?1201.46?1202.810?624.650?1201.760?1201.440---
timed-toint/hddi.008.003?1201.43?1201.70?00?1201.80?1201.460---
timed-toint/hddi.009.000?1201.76?1201.810?00?1201.730?1201.390---
timed-toint/hddi.009.001?1201.4?1201.70?00?1201.730?1201.450---
timed-toint/hddi.009.002?1201.97?1201.870?00?378.20?1201.810---
timed-toint/hddi.009.003?1201.68?1201.970?00?384.310?1201.280---
timed-toint/hddi.010.000?1201.88?1201.90?00?1201.730?1201.150---
timed-toint/hddi.010.001?1201.88?1201.970?00?1201.970?1201.290---
timed-toint/hddi.010.002?1202.11?1201.930?00?1201.770?1201.310---
timed-toint/hddi.010.003?1201.64?1201.80?00?470.970?1201.280---
timed-toint/hddi.011.000?1201.75?1202.020?00?607.390?1201.280---
timed-toint/hddi.011.001?1201.27?1201.820?00?287.140?1201.750---
timed-toint/hddi.011.002?1202.8?1201.870?00?292.040?1201.470---
timed-toint/hddi.011.003?1201.58?1201.950?00?214.520?1201.330---
timed-toint/hddi.012.000?1201.77?1201.890?00?247.760?1201.440---
timed-toint/hddi.012.001?1201.54?1201.590?00?234.770?1201.530---
timed-toint/hddi.012.002?1202.18?1202.110?00?221.330?1200.790---
timed-toint/hddi.012.003?1201.76?1201.230?00?204.860?1201.30---
timed-toint/hddi.013.000?1201.91?1202.020?00?260.690?1201.30---
timed-toint/hddi.013.001?1202.02?1201.760?00?279.540?1201.370---
timed-toint/hddi.013.002?1202.09?1201.860?00?255.760?1201.370---
timed-toint/hddi.013.003?1201.84?1202.00?127.990?218.150?1201.30---
timed-toint/hddi.014.000?1201.69?1201.970?127.60?752.540?1201.40---
timed-toint/hddi.014.001?1201.98?1201.740?00?302.560?1200.80---
timed-toint/hddi.014.002?1201.78?1202.120?128.070?299.670?1200.610---
timed-toint/hddi.014.003?1202.16?1201.910?00?252.960?1201.410---
timed-toint/hddi.015.000?1201.9?1201.710?0.80?137.460?1201.40---
timed-toint/hddi.015.001?1202.07?1201.660?0.720?181.80?1200.570---
timed-toint/hddi.015.002?1202.13?1201.930?0.710?155.010?1200.80---
timed-toint/hddi.015.003?1201.97?1202.070?0.710?151.220?1201.310---
timed-toint/lynch_mahata_aut.002.000?1202.16?647.70?23.250?1204.070?1201.680---
timed-toint/lynch_mahata_aut.002.001unsafe147.61?775.29-1?23.44-1?1201.73-1?1201.33-1---
timed-toint/lynch_mahata_aut.002.002safe0.05safe0.040safe28.630safe11.140?1201.44-1---
timed-toint/lynch_mahata_aut.003.000?1201.68?1201.710?55.230?1204.740?1201.390---
timed-toint/lynch_mahata_aut.003.001?1201.41?1201.680?52.940?1204.40?1201.440---
timed-toint/lynch_mahata_aut.003.002safe0.06safe0.040safe67.050safe12.070?1201.02-1---
timed-toint/lynch_mahata_aut.004.000?1201.77?1202.430?102.630?1204.730?1201.420---
timed-toint/lynch_mahata_aut.004.001?1201.79?1201.490?120.70?1201.750?1201.330---
timed-toint/lynch_mahata_aut.004.002safe0.16safe0.040safe134.980safe16.320?1201.31-1---
timed-toint/lynch_mahata_aut.005.000?1202.05?1201.590?190.520?1201.740?1201.480---
timed-toint/lynch_mahata_aut.005.001?1201.69?1201.60?207.330?1202.00?1201.590---
timed-toint/lynch_mahata_aut.005.002safe0.17safe0.050safe214.480safe19.280?1201.28-1---
timed-toint/lynch_mahata_aut.006.000?1201.93?1201.80?313.440?1201.840?1201.280---
timed-toint/lynch_mahata_aut.006.001?1201.64?1202.170?402.00?1204.160?1201.380---
timed-toint/lynch_mahata_aut.006.002safe0.18safe0.050safe417.20safe15.510?1202.08-1---
timed-toint/lynch_mahata_aut.007.000?1201.86?1201.290?439.060?1201.670?1202.030---
timed-toint/lynch_mahata_aut.007.001?1201.99?1201.990?521.10?1201.770?1201.390---
timed-toint/lynch_mahata_aut.007.002safe0.17safe0.050safe586.060safe17.250?1201.53-1---
timed-toint/lynch_mahata_aut.008.000?1201.87?1201.380?630.660?1201.740?1201.310---
timed-toint/lynch_mahata_aut.008.001?1201.83?1202.150?947.70?1201.810?1201.370---
timed-toint/lynch_mahata_aut.008.002safe0.2safe0.050safe733.880safe18.780?1201.18-1---
timed-toint/lynch_mahata_aut.009.000?1201.82?1201.340?964.210?1201.90?1201.440---
timed-toint/lynch_mahata_aut.009.001?1201.38?1201.60?00?515.840?1201.680---
timed-toint/lynch_mahata_aut.009.002safe0.18safe0.060safe1175.390safe20.290?1201.28-1---
timed-toint/lynch_mahata_aut.010.000?1201.65?1201.410?00?1201.70?1201.280---
timed-toint/lynch_mahata_aut.010.001?1201.91?1201.460?00?944.30?1201.420---
timed-toint/lynch_mahata_aut.010.002safe0.19safe0.060?0-1safe23.270?1201.37-1---
timed-toint/lynch_mahata_aut.011.000?1202.04?1201.770?00?407.350?1201.290---
timed-toint/lynch_mahata_aut.011.001?1201.62?1201.590?00?1204.060?1201.390---
timed-toint/lynch_mahata_aut.011.002safe0.17safe0.060?0-1safe22.930?1201.63-1---
timed-toint/lynch_mahata_aut.012.000?1201.89?1201.590?00?473.310?1201.30---
timed-toint/lynch_mahata_aut.012.001?1201.45?1201.630?00?425.440?1201.60---
timed-toint/lynch_mahata_aut.012.002safe0.19safe0.060?0-1safe26.170?1201.43-1---
timed-toint/lynch_mahata_aut.013.000?1201.84?1202.420?00?363.740?1201.330---
timed-toint/lynch_mahata_aut.013.001?1201.95?1201.830?0.650?368.730?1200.770---
timed-toint/lynch_mahata_aut.013.002safe0.09safe0.070?0-1safe28.620?1201.24-1---
timed-toint/lynch_mahata_aut.014.000?1201.71?1201.520?00?252.60?1201.240---
timed-toint/lynch_mahata_aut.014.001?1201.41?1201.980?0.580?390.810?1201.610---
timed-toint/lynch_mahata_aut.014.002safe0.21safe0.070?0-1safe29.080?1201.41-1---
timed-toint/lynch_mahata_aut.015.000?1201.57?1201.990?00?227.480?1201.350---
timed-toint/lynch_mahata_aut.015.001?1201.82?1201.630?0.740?372.910?1200.520---
timed-toint/lynch_mahata_aut.015.002safe0.2safe0.070?0-1safe32.170?1201.82-1---
# Benchmarks: 556totalsafeunsafetimetotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlost
3743413329438.03s3443202422144.02s-30131212108116.03s-3530353565602113.08s-31803180000s-37403740000s000