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---
crafted/any-down-livesafe1.16?1201.83-1?0-1?343.25-1safe19.5350---
crafted/choice-livesafe14.63?1201.83-1safe8.050?346.61-1safe136.6280---
crafted/conc-whiles-livesafe5.03?1201.81-1?0-1?215.98-1?297.09-1---
crafted/count-down-livesafe0.23?1201.96-1safe2.370?142.55-1safe78.6840---
crafted/count-nested-live?1201.52?1201.830?00?210.970safe30.367+1---
crafted/count-up-to-sym-livesafe0.23?1201.98-1?0-1safe8.640safe17.9340---
crafted/example-fig2-livesafe0.34?1201.97-1?0-1?32.24-1safe18.2790---
crafted/example1-livesafe0.31?1201.28-1safe1.620safe10.50safe16.9520---
crafted/example2-livesafe0.16?1201.93-1?0-1safe2.590safe16.3090---
crafted/example3-livesafe0.36?1202.02-1safe1.420safe140.620?18.481-1---
crafted/example4-live-intsafe0.25?1201.91-1?0-1safe2.810?17.42-1---
crafted/gothenburg-livesafe0.49?1201.7-1safe3.20safe372.250safe51.2370---
crafted/loops-livesafe1.22?1201.87-1?0-1?256.75-1?320.84-1---
crafted/parallel-livesafe0.31?1201.94-1safe12.250safe347.410safe28.4370---
crafted/piecewise-livesafe0.63?1201.72-1safe3.710safe15.850?15.89-1---
crafted/stabilize-livesafe0.53?1201.96-1?0.3-1?231.74-1safe1.1260---
crafted/swap-dec-livesafe0.36?1201.93-1safe1.730?222.38-1safe1.4320---
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---
ultimate-ltl/coolant/coolant_basis_1_neg?1201.83?1201.840?1.360?2.10?16.0940---
ultimate-ltl/coolant/coolant_basis_1_safe_sftysafe0.9safe0.850?1.34-1safe4.20safe1.6070---
ultimate-ltl/coolant/coolant_basis_1_unsafe_sfty?1202.0?1202.740?1.30unsafe19.03+1?15.710---
ultimate-ltl/coolant/coolant_basis_2_neg?1202.04?1202.060?00?67.940?8.1550---
ultimate-ltl/coolant/coolant_basis_2_safe_livenesssafe27.26safe23.070?0-1safe103.850safe3.4180---
ultimate-ltl/coolant/coolant_basis_2_unsafe_livenessunsafe5.12unsafe3.680?0-1?1095.66-1?10.748-1---
ultimate-ltl/coolant/coolant_basis_3_safe_sftylivenesssafe0.86safe0.760?1.21-1safe3.280?6.406-1---
ultimate-ltl/coolant/coolant_basis_3_unsafe_sftylivenessunsafe2.05unsafe1.980?1.09-1?63.88-1?10.949-1---
ultimate-ltl/coolant/coolant_basis_4_1_unsafe_sftyliveness?1202.69?1202.20?1.260?81.690?9.8690---
ultimate-ltl/coolant/coolant_basis_4_2_unsafe_sftyliveness?1201.83?1202.080?1.50?78.720?14.8860---
ultimate-ltl/coolant/coolant_basis_4_negunsafe0.49unsafe0.490?0-1unsafe18.630?7.335-1---
ultimate-ltl/coolant/coolant_basis_4_safe_sftylivenesssafe1.25safe1.140?1.2-1safe3.60?5.035-1---
ultimate-ltl/coolant/coolant_basis_4_unsafe_sftyliveness?1202.03?1201.810?1.320?1201.80?58.680---
ultimate-ltl/coolant/coolant_basis_5_negunsafe0.74unsafe0.620?1.2-1unsafe10.60?0.36-1---
ultimate-ltl/coolant/coolant_basis_5_safe_sftylivenesssafe1.85safe1.740?1.12-1safe4.220?0.36-1---
ultimate-ltl/coolant/coolant_basis_5_unsafe_sftyliveness?1201.91?1201.280?1.190?66.350?0.360---
ultimate-ltl/coolant/coolant_basis_6_safe_sftylivenesssafe2.74safe2.650?0-1safe4.460?12.953-1---
ultimate-ltl/coolant/coolant_basis_6_unsafe_sftyliveness?1202.13?1201.930?00?84.630?7.0150---
ultimate-ltl/decision-predicates/01-exsec2safe0.19safe0.070safe192.670safe2.680safe0.480---
ultimate-ltl/decision-predicates/02-fig8-2007safe0.54safe0.480?0.26-1safe3.040safe4.610---
ultimate-ltl/decision-predicates/03-toyacquirereleasesafe0.32safe0.210?0.22-1safe3.20?2.18-1---
ultimate-ltl/decision-predicates/04-toylinarith1unsafe2.62unsafe2.670?0-1unsafe2.60safe2.591?---
ultimate-ltl/decision-predicates/05-toylinarith2safe23.78?1201.88-1?0-1safe3.10?0.53-1---
ultimate-ltl/decision-predicates/06-postgreSQL_strmsrvsafe3.94safe3.820?0-1safe3.590?26.5-1---
ultimate-ltl/decision-predicates/07-postgreSQL_strmsrv_wbugsafe4.32safe4.230?0-1safe3.470?106.712-1---
ultimate-ltl/decision-predicates/08-postgreSQL_pgarchunsafe0.51unsafe0.40?98.8-1?63.1-1?304.47-1---
ultimate-ltl/decision-predicates/09-postgreSQL_dropbuf_prop1unsafe4.27unsafe2.150?0.22-1unsafe21.530?0.31-1---
ultimate-ltl/decision-predicates/10-postgreSQL_dropbuf_prop2safe1.44safe1.440safe147.680safe14.90?24.502-1---
ultimate-ltl/decision-predicates/11-apache_accept_livenessunsafe13.11unsafe13.170?0.22-1?140.38-1?147.681-1---
ultimate-ltl/decision-predicates/12-apache_progresssafe1.85safe1.850?0.13-1safe3.990?97.472-1---
ultimate-ltl/decision-predicates/13-windows_os_frag1safe0.81safe0.710?0.24-1safe38.510safe31.4110---
ultimate-ltl/decision-predicates/14-windows_os_frag2safe0.3safe0.290?0-1safe3.070safe26.4230---
ultimate-ltl/decision-predicates/15-windows_os_frag2_wbugunsafe0.58unsafe0.590?0-1unsafe7.350?240.145-1---
ultimate-ltl/decision-predicates/16-windows_os_frag3safe0.1safe0.090safe88.380safe2.890safe1.2430---
ultimate-ltl/decision-predicates/17-windows_os_frag4_prop1safe0.38safe0.350?0.12-1safe18.040?259.729-1---
ultimate-ltl/decision-predicates/18-windows_os_frag4_prop2unsafe6.64?1201.35-1?1.11-1unsafe46.050?314.98-1---
ultimate-ltl/decision-predicates/19-windows_os_frag5safe7.43?1202.14-1?0.53-1?1204.05-1safe113.7980---
ultimate-ltl/decision-predicates/20-windows_os_frag6safe2.36?1201.73-1?0-1?269.18-1?4.11-1---
ultimate-ltl/decision-predicates/21-windows_os_frag6_wbugunsafe0.27unsafe0.230?0-1unsafe4.690?6.583-1---
ultimate-ltl/decision-predicates/22-windows_os_frag7safe0.94?1201.92-1?0-1safe14.490safe1.9650---
ultimate-ltl/decision-predicates/23-windows_os_frag8safe2.14?1201.85-1?0-1?890.95-1safe40.1880---
t2-ctl/P1safe1.06?1201.99-1safe5.510safe3.650safe1.3280---
t2-ctl/P2safe0.23safe0.220safe5.610safe2.720safe1.4380---
t2-ctl/P3unsafe0.24unsafe0.230?4.1-1unsafe7.180?1.298-1---
t2-ctl/P4safe0.44safe0.430?3.03-1safe3.110?0.958-1---
t2-ctl/P5safe5.19?1202.06-1safe14.480safe3.930safe0.5720---
t2-ctl/P6safe0.23safe0.210safe1.770safe2.920safe2.4560---
t2-ctl/P7safe4.28?1203.16-1safe16.730safe4.50safe0.5740---
t2-ctl/P8safe3.42?1201.95-1safe10.530safe3.830safe2.1870---
t2-ctl/P9safe55.39?1201.3-1safe350.670safe4.790safe2.7420---
t2-ctl/P10unsafe21.12unsafe11.820?427.7-1unsafe41.260?11.761-1---
t2-ctl/P11unsafe98.5?1201.77-1?0-1unsafe38.510?10.024-1---
t2-ctl/P12unsafe230.08unsafe17.270?447.91-1?96.91-1?42.084-1---
t2-ctl/P13?1201.88?1201.970?00safe7.57+1safe0.787+1---
t2-ctl/P14safe0.07safe0.060?399.46-1safe3.580safe0.7970---
t2-ctl/P15unsafe19.88?1202.13-1?143.52-1?155.07-1?4.552-1---
t2-ctl/P16safe0.04safe0.070?423.67-1safe3.480safe4.1930---
t2-ctl/P17safe1.17?1201.87-1safe5.730safe25.00safe1.5110---
t2-ctl/P18unsafe0.34?1201.98-1?1.36-1unsafe5.770?5.472-1---
t2-ctl/P19unsafe0.23unsafe0.10?3.15-1unsafe12.090?4.833-1---
t2-ctl/P20unsafe0.28?1202.06-1?3.22-1unsafe12.630?1122.45-1---
t2-ctl/P21safe0.37safe0.30safe1.240safe2.910safe0.4820---
t2-ctl/P22unsafe0.14unsafe0.140?0.86-1unsafe4.020?1.044-1---
t2-ctl/P23unsafe0.59?1202.05-1?7.74-1unsafe7.730?8.409-1---
t2-ctl/P24unsafe0.52?1202.11-1?2.79-1unsafe8.080?1.49-1---
t2-ctl/P25safe21.36?48.57-1safe21.040safe11.570safe0.6530---
t2-ctl/P26safe1.77safe1.360safe14.490safe5.040?0.747-1---
t2-ctl/P27safe1.13safe0.640safe14.290safe11.890safe0.8670---
t2-ctl/P28safe1.61safe0.940safe25.920safe4.640?0.69-1---
t2-testsuite/2unsafe0.93?1202.01-1?0-1?113.85-1?25.007-1unsafe0.8260
t2-testsuite/byron-1safe0.68?1201.27-1?0-1safe7.630safe1.4770safe0.6850
t2-testsuite/byron-2safe1.02?1201.85-1safe7.450safe30.220safe0.9710safe0.5410
t2-testsuite/cfg?1201.91?1201.90?2.030unsafe4.5+1?1.6460unsafe0.633+1
t2-testsuite/consts1nt?1202.04?1201.150?00unsafe4.77+1?1.5310unsafe0.694+1
t2-testsuite/consts1safe0.16safe20.460?0-1safe4.030safe1.2080safe0.5990
t2-testsuite/consts2nt?1202.73?1201.810?0.620?33.30?0.8320unsafe0.463+1
t2-testsuite/consts2safe0.28?1202.07-1safe0.70safe5.370safe0.6480safe0.3770
t2-testsuite/consts3nt?1201.78?1202.030?0.60?31.980?0.7230unsafe0.462+1
t2-testsuite/consts3safe0.27?1201.76-1safe0.70safe4.020safe0.6150safe0.3710
t2-testsuite/consts4nt?1201.88?1201.850?0.620?33.680?0.8590unsafe0.471+1
t2-testsuite/consts4safe0.27?1201.97-1safe0.710safe4.410safe0.6530safe0.3740
t2-testsuite/consts5nt?1202.08?1201.990?0.650?37.090?0.7780unsafe0.486+1
t2-testsuite/consts5safe0.1safe0.090safe0.630safe2.720safe0.7080safe0.3980
t2-testsuite/create_segsafe2.02?1202.04-1?0-1safe17.00?300.51-1safe0.4070
t2-testsuite/create_via_tmpssafe4.01?1203.27-1?0-1safe50.060?300.7-1safe0.6890
t2-testsuite/createsafe1.5?1201.99-1?0-1safe16.550safe0.9530safe0.4020
t2-testsuite/ctlstar_3unsafe0.19unsafe0.080?1.21-1unsafe5.160?0.993-1unsafe0.4680
t2-testsuite/ctlstar_4unsafe5.3?1202.04-1?20.92-1unsafe38.320?6.35-1unsafe0.7520
t2-testsuite/ctlstar_5unsafe0.09unsafe0.090?0.61-1unsafe3.440?0.968-1unsafe0.440
t2-testsuite/ctlstar_6unsafe0.1unsafe0.120?1.2-1unsafe4.520?0.977-1unsafe0.4610
t2-testsuite/ctlstarunsafe0.08unsafe0.070?1.27-1unsafe4.510?1.574-1unsafe0.4620
t2-testsuite/curious2safe0.05safe0.040safe0.120safe2.540safe0.4550safe0.2130
t2-testsuite/curiousunsafe0.06unsafe0.070?2.18-1unsafe4.80?1.23-1unsafe0.4760
t2-testsuite/dbsafe0.15safe0.160safe0.880safe3.270safe0.5880safe0.370
t2-testsuite/defectunsafe0.06unsafe0.060?0.57-1unsafe2.940?0.77-1unsafe0.4280
t2-testsuite/destroy_seg_leakunsafe4.9?1202.3-1?1207.12-1?266.43-1?113.893-1unsafe2.6290
t2-testsuite/destroy_segsafe6.9?1201.93-1?0-1safe40.330safe9.8850safe1.0110
t2-testsuite/destroysafe4.44?1202.01-1?0-1safe31.760?301.05-1safe0.7140
t2-testsuite/disj_nightmaresafe0.26safe0.160safe138.610safe11.540safe246.1140safe11.6930
t2-testsuite/eric1?1201.65?1201.820?00?00safe2.766+1safe2.898+1
t2-testsuite/eric3?1201.83?1201.970?00unsafe63.35+1?2.4880unsafe0.523+1
t2-testsuite/example10unsafe0.09unsafe0.080?1.61-1unsafe3.460?0.913-1unsafe0.450
t2-testsuite/example9unsafe0.55?1202.06-1?3.85-1unsafe5.520?1.164-1unsafe0.4730
t2-testsuite/flipflopunsafe0.08unsafe0.070?0.6-1?9.4-1?0.713-1unsafe0.4560
t2-testsuite/fun10unsafe1.27unsafe1.240?0.21-1?886.59-1?123.362-1unsafe6.2950
t2-testsuite/fun11?1201.65?1202.170?00?81.790?1.8590?0.9740
t2-testsuite/fun1unsafe2.69?1202.14-1?72.92-1?169.09-1?56.662-1unsafe42.9730
t2-testsuite/fun2safe25.91?1201.94-1safe60.120safe47.690safe15.5930safe1.4760
t2-testsuite/fun4safe1.76safe1.480safe31.90safe24.130safe3.2280safe3.2910
t2-testsuite/fun6unsafe2.01?1201.31-1?27.95-1?154.39-1?108.899-1unsafe2.9410
t2-testsuite/fun7unsafe0.26unsafe0.260?12.63-1?506.33-1?13.689-1unsafe0.8550
t2-testsuite/fun9?1202.03?1201.990?1123.790?196.350?311.660unsafe1.404+1
t2-testsuite/heidy10safe0.61?1201.34-1safe3.140safe12.530safe0.8820safe0.390
t2-testsuite/heidy1?1201.51?1201.190?00unsafe3.58+1?0.8150unsafe0.447+1
t2-testsuite/heidy2unsafe0.26?1201.86-1?7.61-1unsafe25.150?1.484-1unsafe0.4560
t2-testsuite/heidy3unsafe0.25unsafe0.130?2.84-1unsafe5.860?0.967-1unsafe0.4710
t2-testsuite/heidy5safe0.95?1201.95-1safe5.270safe3.440safe0.780safe0.3670
t2-testsuite/heidy6unsafe0.8?1201.83-1?2.35-1unsafe5.710?1.244-1unsafe0.5010
t2-testsuite/heidy7unsafe1.83?1201.33-1?8.13-1unsafe38.560?2.087-1unsafe0.5210
t2-testsuite/heidy8unsafe0.21unsafe0.10?4.82-1unsafe40.670?2.445-1unsafe0.5370
t2-testsuite/heidy9safe0.78?1202.13-1safe3.380safe3.370safe0.7060safe0.3610
t2-testsuite/huhsafe151.77?1202.15-1?0-1safe20.290safe3.3130safe0.4930
t2-testsuite/iecssafe0.27?1202.09-1?0-1safe7.470safe0.6990safe0.5220
t2-testsuite/n-10unsafe0.11unsafe0.090?1.34-1unsafe117.510?1.563-1unsafe0.4850
t2-testsuite/n-12aunsafe0.09unsafe0.070?0.71-1unsafe6.830?0.796-1unsafe0.4360
t2-testsuite/n-12unsafe0.09unsafe0.080?0.55-1unsafe26.180?1.283-1unsafe0.4740
t2-testsuite/n-13?1201.49?1201.230?0.540unsafe5.8+1?0.7360unsafe0.448+1
t2-testsuite/n-14unsafe0.12unsafe0.110?2.94-1unsafe32.340?1.52-1unsafe0.4910
t2-testsuite/n-15aunsafe0.08unsafe0.060?3.84-1unsafe5.480?1.338-1unsafe0.4830
t2-testsuite/n-15?1202.14?1201.840?0.780?33.620?1.4270unsafe0.534+1
t2-testsuite/n-16aunsafe0.07unsafe0.10?0.71-1?35.17-1?0.891-1unsafe0.4570
t2-testsuite/n-16?1201.55?1201.810?0.540?33.420?1.8230unsafe0.526+1
t2-testsuite/n-17?1201.45?1201.870?0.520?31.830?2.0740unsafe0.472+1
t2-testsuite/n-18aunsafe0.07unsafe0.060?1.79-1?35.91-1?2.108-1unsafe0.4620
t2-testsuite/n-18?1201.46?1201.240?0.520?33.810?0.8420unsafe0.467+1
t2-testsuite/n-1cunsafe0.19unsafe0.080?1.21-1unsafe111.270?1.214-1unsafe0.4950
t2-testsuite/n-1dunsafe0.07unsafe0.10?0.63-1unsafe29.430?1.038-1unsafe0.4930
t2-testsuite/n-1unsafe0.08unsafe0.080?4.17-1unsafe136.920?1.747-1unsafe0.4940
t2-testsuite/n-20unsafe0.74?1202.08-1?1.86-1?151.87-1?0.917-1unsafe0.5060
t2-testsuite/n-21?1201.14?1201.780?2.160unsafe9.83+1?1.2820unsafe0.513+1
t2-testsuite/n-32unsafe0.08unsafe0.070?1.66-1unsafe9.290?2.687-1unsafe0.4480
t2-testsuite/n-33unsafe0.23unsafe0.120?0.56-1unsafe10.410?1.588-1unsafe0.4730
t2-testsuite/n-36unsafe0.28unsafe0.170?0.76-1unsafe123.20?1.844-1unsafe0.5320
t2-testsuite/n-37?1201.15?1203.080?00?73.270?2.1230unsafe0.477+1
t2-testsuite/n-3aunsafe0.07unsafe0.070?2.35-1unsafe30.230?1.774-1unsafe0.5250
t2-testsuite/n-3?1201.38?1201.820?1.680?47.920?0.8920unsafe0.54+1
t2-testsuite/n-40?1201.73?1202.090?29.110unsafe8.57+1?10.4320unsafe0.643+1
t2-testsuite/n-46?1201.82?1201.240?00?36.620safe0.829+1unsafe0.444+1
t2-testsuite/n-48?1202.14?1202.00?2.020?49.060?1.2510unsafe0.486+1
t2-testsuite/n-4unsafe0.26unsafe0.150?11.32-1unsafe18.230?12.94-1unsafe0.9930
t2-testsuite/n-5unsafe0.66?1201.22-1?10.08-1unsafe72.320?16.908-1unsafe1.1180
t2-testsuite/n-6aunsafe0.18unsafe0.070?4.67-1unsafe49.940?0.928-1unsafe0.5940
t2-testsuite/n-6?1202.89?1201.860?0.540?37.80?0.9770unsafe0.483+1
t2-testsuite/n-7?1201.88?1202.00?7.020?41.150?1.4760unsafe0.514+1
t2-testsuite/n-8aunsafe0.09unsafe0.070?0.54-1unsafe65.460?0.918-1unsafe0.4710
t2-testsuite/n-8unsafe0.08unsafe0.090?1.09-1unsafe70.250?1.972-1unsafe0.4870
t2-testsuite/n-9unsafe0.09unsafe0.10?1.18-1?104.14-1?1.655-1unsafe0.4860
t2-testsuite/nested2?1202.57?1201.860?1706.520?1201.980safe1.089+1safe0.449+1
t2-testsuite/p-10unsafe0.1unsafe0.080?1.91-1unsafe100.550?0.886-1unsafe0.4840
t2-testsuite/p-12safe0.41?1201.15-1safe1.40safe3.360safe0.6710safe0.3640
t2-testsuite/p-13safe0.05safe0.040?0.34-1safe2.670safe0.5460safe0.210
t2-testsuite/p-14safe0.3?1201.83-1safe1.780safe3.490safe0.5960safe0.3640
t2-testsuite/p-15safe0.55?1201.86-1safe2.070safe3.20safe0.5990safe0.3580
t2-testsuite/p-16safe0.54?1201.88-1safe2.050safe3.40safe0.6460safe0.3630
t2-testsuite/p-18safe0.66?1202.0-1safe1.370safe3.20safe0.6770safe0.3580
t2-testsuite/p-1bsafe0.32?1201.31-1safe2.120safe3.410safe0.6870safe0.3610
t2-testsuite/p-1dsafe0.38?1201.4-1safe8.660safe4.210safe0.9180safe0.3750
t2-testsuite/p-1unsafe0.1unsafe0.080?1.68-1unsafe130.50?0.975-1unsafe0.4820
t2-testsuite/p-20unsafe0.16unsafe0.160?2.43-1unsafe79.740?1.095-1unsafe0.4820
t2-testsuite/p-21safe1.34?1202.91-1safe4.450safe4.320safe0.9240safe0.4190
t2-testsuite/p-22safe0.36?1201.15-1safe1.960safe3.960safe1.5250safe0.3680
t2-testsuite/p-32unsafe0.08unsafe0.070?1.61-1unsafe9.520?3.045-1unsafe0.4550
t2-testsuite/p-33unsafe0.08unsafe0.070?1.87-1unsafe9.440?1.495-1unsafe0.460
t2-testsuite/p-34unsafe0.2unsafe0.210?1.8-1unsafe160.440?1.541-1unsafe0.5140
t2-testsuite/p-36unsafe0.13unsafe0.130?1.33-1unsafe222.680?3.153-1unsafe0.5090
t2-testsuite/p-37safe0.51safe0.470safe27.340safe15.910safe1.0530safe0.3780
t2-testsuite/p-3safe0.42?1201.99-1safe5.670safe3.820safe0.670safe0.3640
t2-testsuite/p-40?1201.22?1201.80safe3.13+1safe3.42+1safe0.818+1safe0.374+1
t2-testsuite/p-41safe0.05safe0.040?0.35-1safe2.660safe0.610safe0.2030
t2-testsuite/p-42safe1.38?1201.91-1safe2.810safe3.960safe0.6610safe0.3580
t2-testsuite/p-43safe0.44?1201.12-1safe11.590safe25.510safe2.3670safe2.0330
t2-testsuite/p-44safe0.48?1202.11-1safe2.630safe3.990safe0.6370safe0.3720
t2-testsuite/p-45safe0.79?1201.95-1safe2.510safe16.110safe2.0730safe0.3710
t2-testsuite/p-46unsafe0.17unsafe0.140?10.06-1?387.28-1?5.733-1?5.187-1
t2-testsuite/p-49safe0.35?1201.83-1safe2.380safe3.880safe0.6190safe0.3670
t2-testsuite/p-4safe2.0?1201.94-1safe3.730safe5.220safe1.070safe0.3990
t2-testsuite/p-52unsafe0.09unsafe0.080?0.73-1unsafe48.760?0.797-1unsafe0.4730
t2-testsuite/p-53safe0.14safe0.120safe2.670safe2.80safe0.6310safe0.2130
t2-testsuite/p-55safe0.79?1201.83-1safe7.590safe5.560safe0.9480safe0.4050
t2-testsuite/p-56safe0.52?1201.92-1safe4.370safe3.710safe0.9760safe0.4010
t2-testsuite/p-58safe0.18safe0.120safe0.490safe2.940safe0.5190safe0.3590
t2-testsuite/p-5unsafe0.67?1202.21-1?10.52-1unsafe72.470?16.922-1unsafe1.1130
t2-testsuite/p-60?1201.88safe26.39+1?00safe3.56+1safe0.742+1safe0.382+1
t2-testsuite/p-61?1201.94?1201.290?00safe3.58+1safe0.734+1safe0.388+1
t2-testsuite/p-63safe0.76?1201.84-1?0-1safe15.250safe1.2770safe0.5340
t2-testsuite/p-6safe0.36?1201.72-1safe7.860safe4.20safe0.9110safe0.3810
t2-testsuite/p-7bsafe0.86?1201.91-1safe5.930safe4.60safe0.6780safe0.3750
t2-testsuite/p-7safe0.87?1201.13-1safe9.020safe4.320safe0.8390safe0.3970
t2-testsuite/p-8unsafe0.08unsafe0.070?1.73-1?98.0-1?0.957-1unsafe0.4620
t2-testsuite/p-9unsafe0.09unsafe0.070?1.7-1?100.5-1?0.928-1unsafe0.4590
t2-testsuite/pgarchunsafe59.52?1202.24-1?1.27-1?0-1?227.37-1unsafe49.7160
t2-testsuite/polyrank1safe0.55?1201.88-1?0.59-1safe11.280?0.922-1safe0.5570
t2-testsuite/polyrank2safe32.23?1201.89-1?0.66-1safe4.00?1.092-1safe0.5910
t2-testsuite/polyrank3safe5.94?1201.86-1?0.53-1?0-1?0.985-1safe0.7520
t2-testsuite/polyrank4?1201.85?1201.050?0.530?381.00?1.0550safe1.002+1
t2-testsuite/polyrank5?1203.02?1202.090?0.530safe5.69+1?1.0170safe1.368+1
t2-testsuite/polyrank6safe1.46?1201.97-1?1.78-1safe16.910?1.668-1safe0.5930
t2-testsuite/polyrank7?1202.68?1202.20?0.550?34.550?1.1630unsafe0.438+1
t2-testsuite/printsafe15.82?1201.8-1?0-1safe78.830safe45.5560safe2.5970
t2-testsuite/refine_disj_problem?1201.91?1201.840?2.460?40.210?1.5320unsafe0.482+1
t2-testsuite/reverse_div4unsafe0.47unsafe0.460?269.47-1?217.54-1?68.108-1unsafe1.5340
t2-testsuite/reverse_seg_cyclicsafe70.67?1202.07-1?0-1safe36.390safe18.6440safe1.790
t2-testsuite/reversesafe123.81?1201.32-1?0-1safe42.770safe49.8430safe4.6930
t2-testsuite/rev_nt2unsafe0.27unsafe0.260?32.69-1?155.03-1?94.872-1unsafe0.8090
t2-testsuite/rewriteunsafe0.08unsafe0.060?0.68-1?61.28-1?0.721-1unsafe0.460
t2-testsuite/s1-savedsafe15.54?1201.98-1?0-1safe40.340safe31.9720safe1.8270
t2-testsuite/seq2safe0.19?1202.03-1safe0.850safe3.170safe0.6240safe0.3550
t2-testsuite/seqsafe0.18?1201.86-1safe0.910safe3.280safe0.6070safe0.3670
t2-testsuite/simple?1201.15?1202.050?0.960unsafe15.8+1?1.0170unsafe0.528+1
t2-testsuite/small01safe0.19?1202.0-1safe4.980safe3.50safe0.9430safe0.3880
t2-testsuite/small02?1202.01?1202.030?7.720?63.010?1.0890unsafe0.489+1
t2-testsuite/small03?1201.75?1202.190?1248.490unsafe3.62+1?0.8930unsafe0.445+1
t2-testsuite/small04?1201.87?1202.020?00unsafe3.75+1?0.8960unsafe0.438+1
t2-testsuite/small05?1201.89?1201.190?0.530?33.850?0.7740unsafe0.452+1
t2-testsuite/small06safe1.52?1201.85-1safe6.210safe3.910safe0.9440safe0.3790
t2-testsuite/small07safe12.35?1202.04-1safe9.720safe5.970safe1.0290safe0.4310
t2-testsuite/small08safe7.27?1202.09-1safe10.730safe5.180safe1.0350safe0.4160
t2-testsuite/small09safe14.14?1203.05-1safe19.450safe5.830safe1.0580safe0.4190
t2-testsuite/small10unsafe0.07unsafe0.060?1.29-1?70.94-1?2.08-1unsafe0.5020
t2-testsuite/small11unsafe0.07unsafe0.070?0.95-1unsafe3.190?1.065-1unsafe0.4510
t2-testsuite/small12safe0.66?1202.07-1safe2.480safe4.190safe0.7440safe0.3660
t2-testsuite/small13safe1.35?1201.92-1safe2.260safe15.470safe0.7230safe0.3670
t2-testsuite/small14?1201.26?1202.140?2.420?87.780?4.2340unsafe0.498+1
t2-testsuite/small15?1202.08?1202.040?1.560?39.920?1.4810unsafe0.471+1
t2-testsuite/small16?1201.86?1201.150?1.510unsafe36.1+1?1.390unsafe0.454+1
t2-testsuite/small17unsafe0.08unsafe0.070?1.62-1unsafe24.10?1.005-1unsafe0.4570
t2-testsuite/small18unsafe0.06unsafe0.070?0.73-1unsafe5.140?1.655-1unsafe0.5020
t2-testsuite/small19safe1.46?1202.01-1safe2.250safe5.960safe0.7480safe0.4040
t2-testsuite/small20safe1.72?1202.27-1?0-1safe4.840safe1.0990safe0.4080
t2-testsuite/small21safe2.87?1202.05-1?0-1safe5.690safe1.1340safe0.4470
t2-testsuite/small22unsafe0.09unsafe0.080?2.33-1?38.69-1?2.42-1unsafe0.5450
t2-testsuite/small23unsafe0.31?1201.92-1?5.0-1unsafe23.710?13.55-1unsafe0.6770
t2-testsuite/small24unsafe0.06unsafe0.060?0.51-1unsafe5.170?1.033-1unsafe0.4560
t2-testsuite/small25unsafe0.06unsafe0.060?0.56-1unsafe3.510?0.99-1unsafe0.4240
t2-testsuite/small26safe0.19?1202.94-1safe0.760safe3.150safe0.6470safe0.3690
t2-testsuite/small27safe0.05safe0.040?0.23-1safe2.750safe0.6170safe0.4170
t2-testsuite/small28safe0.1safe0.090safe0.760safe3.730safe0.6380safe0.4010
t2-testsuite/small29unsafe0.07unsafe0.070?0.6-1unsafe8.910?1.239-1unsafe0.4940
t2-testsuite/small30unsafe0.05unsafe0.070?0.59-1unsafe3.290?1.152-1unsafe0.4210
t2-testsuite/small31safe0.08safe0.040?0.22-1safe2.770safe0.7480safe0.3460
t2-testsuite/small32safe0.07safe0.050?0.24-1safe2.420safe0.610safe0.3560
t2-testsuite/small33safe0.05safe0.040?0.24-1safe2.840safe0.5850safe0.3550
t2-testsuite/small34safe0.17?1202.1-1safe0.80safe3.550safe0.7580safe0.3540
t2-testsuite/small35?1201.9?1201.910?0.550?34.290?1.1510unsafe0.438+1
t2-testsuite/test_byron_2unsafe0.1unsafe0.080?1.22-1unsafe5.280?0.99-1unsafe0.4490
t2-testsuite/traverse2safe197.05?1201.59-1?0-1safe85.350?302.48-1safe3.0140
t2-testsuite/traverse_seg2safe27.57?1202.67-1?0-1safe37.790safe30.6390safe2.0610
t2-testsuite/traverse_segsafe34.58?1202.02-1?0-1safe49.630safe33.5940safe2.8150
t2-testsuite/traverse_twicesafe51.72?1202.2-1?0-1safe50.610safe62.0740safe3.3390
t2-testsuite/traversesafe24.82?1202.12-1?0-1safe46.160safe28.6790safe1.9130
t2-testsuite/unsatsafe0.25safe0.140safe0.990safe2.80safe0.5790safe0.3620
t2-testsuite/w1unsafe0.1unsafe0.10?0.81-1unsafe13.790?0.866-1unsafe0.5750
# Benchmarks: 835totalsafeunsafetimetotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlosttotalsafeunsafetimedeltagainedlost
60247712531011.79s4593649522304.35s-1432145979709509.46s-5051506263185786936.32s-3391735611611601300.303s-486849419189102235.206s39401