| L2Sia-wfr | L2Sia | HSF | Ultimate-LTL | T2-ctlstar | T2-termination |
| result | time | result | time | delta | result | time | delta | result | time | delta | result | time | delta | result | time | delta |
bip/atm.02.000 | safe | 2.56 | safe | 2.48 | 0 | ? | 0 | -1 | ? | 544.84 | -1 | ? | 1202.58 | -1 | - | - | - |
bip/atm.02.001 | safe | 0.59 | safe | 0.51 | 0 | ? | 0 | -1 | ? | 0 | -1 | ? | 1202.62 | -1 | - | - | - |
bip/atm.02.002 | safe | 0.39 | safe | 0.31 | 0 | ? | 0 | -1 | ? | 1204.65 | -1 | ? | 1202.5 | -1 | - | - | - |
bip/atm.03.000 | safe | 1.05 | safe | 1.02 | 0 | ? | 0 | -1 | ? | 810.77 | -1 | ? | 1202.1 | -1 | - | - | - |
bip/atm.03.001 | safe | 0.93 | safe | 0.9 | 0 | ? | 0 | -1 | ? | 1204.66 | -1 | ? | 1202.26 | -1 | - | - | - |
bip/atm.03.002 | safe | 0.68 | safe | 0.61 | 0 | ? | 0 | -1 | ? | 1201.84 | -1 | ? | 1202.34 | -1 | - | - | - |
bip/atm.04.000 | safe | 6.98 | safe | 6.93 | 0 | ? | 0 | -1 | ? | 1185.76 | -1 | ? | 1202.37 | -1 | - | - | - |
bip/atm.04.001 | safe | 0.66 | safe | 0.64 | 0 | ? | 0 | -1 | ? | 1204.65 | -1 | ? | 1202.26 | -1 | - | - | - |
bip/atm.04.002 | safe | 0.87 | safe | 0.85 | 0 | ? | 0 | -1 | ? | 1204.66 | -1 | ? | 1202.1 | -1 | - | - | - |
bip/atm.05.000 | safe | 13.01 | safe | 12.93 | 0 | ? | 0 | -1 | ? | 1201.72 | -1 | ? | 1202.4 | -1 | - | - | - |
bip/atm.05.001 | safe | 0.87 | safe | 0.82 | 0 | ? | 0 | -1 | ? | 1201.72 | -1 | ? | 1202.61 | -1 | - | - | - |
bip/atm.05.002 | safe | 2.2 | safe | 2.22 | 0 | ? | 0 | -1 | ? | 1201.89 | -1 | ? | 1202.59 | -1 | - | - | - |
bip/atm.06.000 | safe | 14.7 | safe | 14.66 | 0 | ? | 0.44 | -1 | ? | 1204.19 | -1 | ? | 1201.13 | -1 | - | - | - |
bip/atm.06.001 | safe | 0.93 | safe | 0.89 | 0 | ? | 0.43 | -1 | ? | 819.7 | -1 | ? | 1201.66 | -1 | - | - | - |
bip/atm.06.002 | safe | 0.5 | safe | 0.45 | 0 | ? | 0.42 | -1 | ? | 690.11 | -1 | ? | 1201.77 | -1 | - | - | - |
bip/atm.07.000 | safe | 49.66 | safe | 50.21 | 0 | ? | 0.47 | -1 | ? | 1201.79 | -1 | ? | 1201.38 | -1 | - | - | - |
bip/atm.07.001 | safe | 0.91 | safe | 0.87 | 0 | ? | 0.47 | -1 | ? | 1201.69 | -1 | ? | 1201.5 | -1 | - | - | - |
bip/atm.07.002 | safe | 0.89 | safe | 0.86 | 0 | ? | 0.47 | -1 | ? | 708.64 | -1 | ? | 1201.47 | -1 | - | - | - |
bip/atm.08.000 | safe | 63.03 | safe | 64.9 | 0 | ? | 0.52 | -1 | ? | 1201.7 | -1 | ? | 1201.08 | -1 | - | - | - |
bip/atm.08.001 | safe | 1.04 | safe | 1.02 | 0 | ? | 0.5 | -1 | ? | 236.28 | -1 | ? | 1201.73 | -1 | - | - | - |
bip/atm.08.002 | safe | 1.36 | safe | 1.36 | 0 | ? | 0.51 | -1 | ? | 250.89 | -1 | ? | 1200.62 | -1 | - | - | - |
bip/atm.09.000 | safe | 84.21 | safe | 87.73 | 0 | ? | 0.58 | -1 | ? | 1201.71 | -1 | ? | 1200.42 | -1 | - | - | - |
bip/atm.09.001 | safe | 1.87 | safe | 1.82 | 0 | ? | 0.56 | -1 | ? | 1201.92 | -1 | ? | 1201.42 | -1 | - | - | - |
bip/atm.09.002 | safe | 2.46 | safe | 2.42 | 0 | ? | 0.55 | -1 | ? | 272.74 | -1 | ? | 1201.36 | -1 | - | - | - |
bip/atm.10.000 | safe | 177.08 | safe | 179.03 | 0 | ? | 0.62 | -1 | ? | 1201.7 | -1 | ? | 1201.16 | -1 | - | - | - |
bip/atm.10.001 | safe | 2.28 | safe | 2.25 | 0 | ? | 0.8 | -1 | ? | 348.78 | -1 | ? | 1200.57 | -1 | - | - | - |
bip/atm.10.002 | safe | 1.68 | safe | 1.65 | 0 | ? | 0.79 | -1 | ? | 262.65 | -1 | ? | 1200.5 | -1 | - | - | - |
bip/atm.11.000 | safe | 199.95 | safe | 198.15 | 0 | ? | 0.78 | -1 | ? | 157.76 | -1 | ? | 1199.93 | -1 | - | - | - |
bip/atm.11.001 | safe | 1.96 | safe | 1.94 | 0 | ? | 0.72 | -1 | ? | 144.48 | -1 | ? | 1200.83 | -1 | - | - | - |
bip/atm.11.002 | safe | 2.39 | safe | 2.34 | 0 | ? | 0.73 | -1 | ? | 143.11 | -1 | ? | 1199.99 | -1 | - | - | - |
bip/atm.12.000 | safe | 301.22 | safe | 313.27 | 0 | ? | 0.81 | -1 | ? | 162.6 | -1 | ? | 1200.04 | -1 | - | - | - |
bip/atm.12.001 | safe | 1.87 | safe | 1.78 | 0 | ? | 0.75 | -1 | ? | 169.05 | -1 | ? | 1200.45 | -1 | - | - | - |
bip/atm.12.002 | safe | 1.2 | safe | 1.18 | 0 | ? | 0.71 | -1 | ? | 134.22 | -1 | ? | 1200.43 | -1 | - | - | - |
bip/atm.13.000 | safe | 278.86 | safe | 281.8 | 0 | ? | 0.82 | -1 | ? | 388.95 | -1 | ? | 1199.44 | -1 | - | - | - |
bip/atm.13.001 | safe | 3.02 | safe | 3.0 | 0 | ? | 1.02 | -1 | ? | 159.57 | -1 | ? | 1199.93 | -1 | - | - | - |
bip/atm.13.002 | safe | 3.32 | safe | 3.27 | 0 | ? | 0.77 | -1 | ? | 184.99 | -1 | ? | 1199.91 | -1 | - | - | - |
bip/atm.14.000 | safe | 532.45 | safe | 536.25 | 0 | ? | 0.83 | -1 | ? | 182.1 | -1 | ? | 1199.37 | -1 | - | - | - |
bip/atm.14.001 | safe | 2.66 | safe | 2.64 | 0 | ? | 0.83 | -1 | ? | 161.06 | -1 | ? | 1199.88 | -1 | - | - | - |
bip/atm.14.002 | safe | 4.96 | safe | 4.97 | 0 | ? | 0.85 | -1 | ? | 168.3 | -1 | ? | 1199.18 | -1 | - | - | - |
bip/atm.15.000 | safe | 839.27 | safe | 837.24 | 0 | ? | 0.87 | -1 | ? | 542.8 | -1 | ? | 1199.06 | -1 | - | - | - |
bip/atm.15.001 | safe | 2.8 | safe | 2.78 | 0 | ? | 0.89 | -1 | ? | 492.52 | -1 | ? | 1199.65 | -1 | - | - | - |
bip/atm.15.002 | safe | 5.94 | safe | 6.02 | 0 | ? | 0.87 | -1 | ? | 187.76 | -1 | ? | 1198.12 | -1 | - | - | - |
bip/atm.16.000 | safe | 692.5 | safe | 692.75 | 0 | ? | 0.95 | -1 | ? | 298.88 | -1 | ? | 1198.47 | -1 | - | - | - |
bip/atm.16.001 | safe | 8.95 | safe | 8.93 | 0 | ? | 1.06 | -1 | ? | 228.52 | -1 | ? | 1198.1 | -1 | - | - | - |
bip/atm.16.002 | safe | 5.03 | safe | 4.89 | 0 | ? | 1.06 | -1 | ? | 185.37 | -1 | ? | 1198.14 | -1 | - | - | - |
bip/atm.17.000 | ? | 1201.84 | ? | 1201.73 | 0 | ? | 0.98 | 0 | ? | 533.11 | 0 | ? | 1197.93 | 0 | - | - | - |
bip/atm.17.001 | safe | 2.92 | safe | 2.8 | 0 | ? | 1.11 | -1 | ? | 212.58 | -1 | ? | 1198.55 | -1 | - | - | - |
bip/atm.17.002 | safe | 10.11 | safe | 10.09 | 0 | ? | 0.96 | -1 | ? | 245.6 | -1 | ? | 1198.14 | -1 | - | - | - |
bip/atm.18.000 | ? | 1202.16 | ? | 1201.76 | 0 | ? | 0.96 | 0 | ? | 567.52 | 0 | ? | 1198.13 | 0 | - | - | - |
bip/atm.18.001 | safe | 2.68 | safe | 2.64 | 0 | ? | 0.98 | -1 | ? | 321.95 | -1 | ? | 1198.01 | -1 | - | - | - |
bip/atm.18.002 | safe | 1.34 | safe | 1.17 | 0 | ? | 1.02 | -1 | ? | 185.25 | -1 | ? | 1198.43 | -1 | - | - | - |
bip/atm.19.000 | ? | 1201.73 | ? | 1202.9 | 0 | ? | 1.02 | 0 | ? | 234.11 | 0 | ? | 1198.33 | 0 | - | - | - |
bip/atm.19.001 | safe | 2.77 | safe | 2.45 | 0 | ? | 1.02 | -1 | ? | 306.41 | -1 | ? | 1197.97 | -1 | - | - | - |
bip/atm.19.002 | safe | 4.33 | safe | 4.22 | 0 | ? | 1.02 | -1 | ? | 261.14 | -1 | ? | 1198.1 | -1 | - | - | - |
bip/atm.20.000 | ? | 1201.48 | ? | 1202.02 | 0 | ? | 1.09 | 0 | ? | 300.91 | 0 | ? | 1198.12 | 0 | - | - | - |
bip/atm.20.001 | safe | 7.61 | safe | 7.7 | 0 | ? | 1.07 | -1 | ? | 238.21 | -1 | ? | 1198.02 | -1 | - | - | - |
bip/atm.20.002 | safe | 4.91 | safe | 4.95 | 0 | ? | 1.06 | -1 | ? | 273.84 | -1 | ? | 1197.42 | -1 | - | - | - |
bip/atm.21.000 | safe | 29.68 | safe | 29.98 | 0 | ? | 1.14 | -1 | ? | 382.58 | -1 | ? | 1197.28 | -1 | - | - | - |
bip/atm.21.001 | safe | 4.46 | safe | 4.44 | 0 | ? | 1.18 | -1 | ? | 1125.39 | -1 | ? | 1197.98 | -1 | - | - | - |
bip/atm.21.002 | safe | 3.81 | safe | 3.7 | 0 | ? | 1.15 | -1 | ? | 438.12 | -1 | ? | 1197.85 | -1 | - | - | - |
bip/atm_local.02.000 | safe | 0.76 | safe | 0.65 | 0 | ? | 0 | -1 | ? | 467.96 | -1 | ? | 1201.82 | -1 | - | - | - |
bip/atm_local.02.001 | safe | 0.71 | safe | 0.59 | 0 | ? | 0 | -1 | ? | 1201.69 | -1 | ? | 1201.91 | -1 | - | - | - |
bip/atm_local.02.002 | safe | 0.46 | safe | 0.34 | 0 | ? | 0 | -1 | ? | 1201.95 | -1 | ? | 1201.46 | -1 | - | - | - |
bip/atm_local.03.000 | safe | 3.69 | safe | 3.57 | 0 | ? | 0 | -1 | ? | 663.61 | -1 | ? | 1201.29 | -1 | - | - | - |
bip/atm_local.03.001 | safe | 1.0 | safe | 1.01 | 0 | ? | 0 | -1 | ? | 1201.66 | -1 | ? | 1201.42 | -1 | - | - | - |
bip/atm_local.03.002 | safe | 0.71 | safe | 0.7 | 0 | ? | 0 | -1 | ? | 1202.02 | -1 | ? | 1201.27 | -1 | - | - | - |
bip/atm_local.04.000 | safe | 8.05 | safe | 7.92 | 0 | ? | 0 | -1 | ? | 801.58 | -1 | ? | 1201.81 | -1 | - | - | - |
bip/atm_local.04.001 | safe | 1.04 | safe | 1.02 | 0 | ? | 0 | -1 | ? | 1201.98 | -1 | ? | 1201.73 | -1 | - | - | - |
bip/atm_local.04.002 | safe | 0.49 | safe | 0.47 | 0 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.51 | -1 | - | - | - |
bip/atm_local.05.000 | safe | 10.46 | safe | 10.35 | 0 | ? | 0 | -1 | ? | 1201.66 | -1 | ? | 1201.46 | -1 | - | - | - |
bip/atm_local.05.001 | safe | 0.72 | safe | 0.71 | 0 | ? | 0 | -1 | ? | 1201.68 | -1 | ? | 1201.28 | -1 | - | - | - |
bip/atm_local.05.002 | safe | 0.91 | safe | 0.92 | 0 | ? | 0 | -1 | ? | 1201.67 | -1 | ? | 1201.27 | -1 | - | - | - |
bip/atm_local.06.000 | safe | 6.27 | safe | 6.16 | 0 | ? | 0.42 | -1 | ? | 1201.73 | -1 | ? | 1201.63 | -1 | - | - | - |
bip/atm_local.06.001 | safe | 2.99 | safe | 2.92 | 0 | ? | 0.43 | -1 | ? | 838.34 | -1 | ? | 1201.61 | -1 | - | - | - |
bip/atm_local.06.002 | safe | 1.13 | safe | 1.1 | 0 | ? | 0.43 | -1 | ? | 910.49 | -1 | ? | 1201.65 | -1 | - | - | - |
bip/atm_local.07.000 | safe | 8.39 | safe | 8.32 | 0 | ? | 0.45 | -1 | ? | 1201.72 | -1 | ? | 1200.76 | -1 | - | - | - |
bip/atm_local.07.001 | safe | 1.27 | safe | 1.27 | 0 | ? | 0.46 | -1 | ? | 1099.19 | -1 | ? | 1201.32 | -1 | - | - | - |
bip/atm_local.07.002 | safe | 1.33 | safe | 1.37 | 0 | ? | 0.45 | -1 | ? | 530.17 | -1 | ? | 1201.48 | -1 | - | - | - |
bip/atm_local.08.000 | safe | 8.74 | safe | 8.73 | 0 | ? | 0.5 | -1 | ? | 1201.79 | -1 | ? | 1201.57 | -1 | - | - | - |
bip/atm_local.08.001 | safe | 1.68 | safe | 1.69 | 0 | ? | 0.49 | -1 | ? | 284.25 | -1 | ? | 1201.28 | -1 | - | - | - |
bip/atm_local.08.002 | safe | 0.74 | safe | 0.79 | 0 | ? | 0.49 | -1 | ? | 216.22 | -1 | ? | 1200.72 | -1 | - | - | - |
bip/atm_local.09.000 | safe | 9.83 | safe | 9.79 | 0 | ? | 0.53 | -1 | ? | 1201.79 | -1 | ? | 1201.35 | -1 | - | - | - |
bip/atm_local.09.001 | safe | 1.2 | safe | 1.17 | 0 | ? | 0.54 | -1 | ? | 366.64 | -1 | ? | 1201.52 | -1 | - | - | - |
bip/atm_local.09.002 | safe | 1.0 | safe | 0.99 | 0 | ? | 0.53 | -1 | ? | 269.0 | -1 | ? | 1201.31 | -1 | - | - | - |
bip/atm_local.10.000 | safe | 2.46 | safe | 2.43 | 0 | ? | 0.61 | -1 | ? | 1204.12 | -1 | ? | 1200.6 | -1 | - | - | - |
bip/atm_local.10.001 | safe | 1.4 | safe | 1.41 | 0 | ? | 0.62 | -1 | ? | 322.29 | -1 | ? | 1200.83 | -1 | - | - | - |
bip/atm_local.10.002 | safe | 2.07 | safe | 2.02 | 0 | ? | 0.73 | -1 | ? | 215.32 | -1 | ? | 1200.61 | -1 | - | - | - |
bip/atm_local.11.000 | safe | 11.17 | safe | 11.13 | 0 | ? | 0.7 | -1 | ? | 143.87 | -1 | ? | 1199.91 | -1 | - | - | - |
bip/atm_local.11.001 | safe | 1.43 | safe | 1.41 | 0 | ? | 0.73 | -1 | ? | 132.47 | -1 | ? | 1199.93 | -1 | - | - | - |
bip/atm_local.11.002 | safe | 2.81 | safe | 2.78 | 0 | ? | 0.7 | -1 | ? | 156.94 | -1 | ? | 1199.87 | -1 | - | - | - |
bip/atm_local.12.000 | safe | 5.57 | safe | 5.65 | 0 | ? | 0.79 | -1 | ? | 161.69 | -1 | ? | 1199.54 | -1 | - | - | - |
bip/atm_local.12.001 | safe | 2.21 | safe | 2.18 | 0 | ? | 0.88 | -1 | ? | 139.58 | -1 | ? | 1199.61 | -1 | - | - | - |
bip/atm_local.12.002 | safe | 2.34 | safe | 2.37 | 0 | ? | 0.85 | -1 | ? | 135.95 | -1 | ? | 1199.43 | -1 | - | - | - |
bip/atm_local.13.000 | safe | 4.75 | safe | 4.66 | 0 | ? | 0.73 | -1 | ? | 146.32 | -1 | ? | 1198.8 | -1 | - | - | - |
bip/atm_local.13.001 | safe | 3.34 | safe | 3.29 | 0 | ? | 0.74 | -1 | ? | 139.01 | -1 | ? | 1200.0 | -1 | - | - | - |
bip/atm_local.13.002 | safe | 3.88 | safe | 3.83 | 0 | ? | 0.72 | -1 | ? | 136.41 | -1 | ? | 1199.05 | -1 | - | - | - |
bip/atm_local.14.000 | safe | 3.41 | safe | 3.34 | 0 | ? | 0.79 | -1 | ? | 156.86 | -1 | ? | 1198.22 | -1 | - | - | - |
bip/atm_local.14.001 | safe | 2.47 | safe | 2.43 | 0 | ? | 0.8 | -1 | ? | 147.93 | -1 | ? | 1199.27 | -1 | - | - | - |
bip/atm_local.14.002 | safe | 3.19 | safe | 3.19 | 0 | ? | 0.8 | -1 | ? | 140.05 | -1 | ? | 1198.43 | -1 | - | - | - |
bip/atm_local.15.000 | safe | 3.41 | safe | 3.21 | 0 | ? | 0.84 | -1 | ? | 199.0 | -1 | ? | 1197.87 | -1 | - | - | - |
bip/atm_local.15.001 | safe | 2.47 | safe | 2.5 | 0 | ? | 0.93 | -1 | ? | 165.18 | -1 | ? | 1199.44 | -1 | - | - | - |
bip/atm_local.15.002 | safe | 3.91 | safe | 3.77 | 0 | ? | 0.89 | -1 | ? | 177.42 | -1 | ? | 1198.64 | -1 | - | - | - |
bip/atm_local.16.000 | safe | 81.16 | safe | 79.89 | 0 | ? | 0.82 | -1 | ? | 413.02 | -1 | ? | 1198.18 | -1 | - | - | - |
bip/atm_local.16.001 | safe | 2.57 | safe | 2.53 | 0 | ? | 0.91 | -1 | ? | 170.43 | -1 | ? | 1199.23 | -1 | - | - | - |
bip/atm_local.16.002 | safe | 3.23 | safe | 3.25 | 0 | ? | 0.86 | -1 | ? | 155.56 | -1 | ? | 1197.37 | -1 | - | - | - |
bip/atm_local.17.000 | safe | 13.24 | safe | 13.02 | 0 | ? | 0.98 | -1 | ? | 163.66 | -1 | ? | 1198.42 | -1 | - | - | - |
bip/atm_local.17.001 | safe | 2.1 | safe | 1.98 | 0 | ? | 0.89 | -1 | ? | 154.48 | -1 | ? | 1198.9 | -1 | - | - | - |
bip/atm_local.17.002 | safe | 2.75 | safe | 2.68 | 0 | ? | 0.94 | -1 | ? | 466.05 | -1 | ? | 1197.66 | -1 | - | - | - |
bip/atm_local.18.000 | safe | 7.84 | safe | 7.8 | 0 | ? | 0.94 | -1 | ? | 302.49 | -1 | ? | 1197.59 | -1 | - | - | - |
bip/atm_local.18.001 | safe | 3.22 | safe | 3.24 | 0 | ? | 1.26 | -1 | ? | 226.99 | -1 | ? | 1198.51 | -1 | - | - | - |
bip/atm_local.18.002 | safe | 1.94 | safe | 1.93 | 0 | ? | 0.96 | -1 | ? | 223.35 | -1 | ? | 1197.74 | -1 | - | - | - |
bip/atm_local.19.000 | safe | 19.74 | safe | 19.74 | 0 | ? | 0.98 | -1 | ? | 299.15 | -1 | ? | 1197.43 | -1 | - | - | - |
bip/atm_local.19.001 | safe | 2.96 | safe | 2.85 | 0 | ? | 1.06 | -1 | ? | 174.66 | -1 | ? | 1197.35 | -1 | - | - | - |
bip/atm_local.19.002 | safe | 4.45 | safe | 4.38 | 0 | ? | 1.02 | -1 | ? | 161.75 | -1 | ? | 1198.05 | -1 | - | - | - |
bip/atm_local.20.000 | safe | 17.62 | safe | 17.52 | 0 | ? | 1.0 | -1 | ? | 261.99 | -1 | ? | 1197.52 | -1 | - | - | - |
bip/atm_local.20.001 | safe | 3.17 | safe | 3.1 | 0 | ? | 1.01 | -1 | ? | 479.93 | -1 | ? | 1198.33 | -1 | - | - | - |
bip/atm_local.20.002 | safe | 3.96 | safe | 3.89 | 0 | ? | 1.07 | -1 | ? | 188.16 | -1 | ? | 1197.76 | -1 | - | - | - |
bip/atm_local.21.000 | safe | 6.46 | safe | 6.43 | 0 | ? | 1.18 | -1 | ? | 520.98 | -1 | ? | 1198.37 | -1 | - | - | - |
bip/atm_local.21.001 | safe | 4.69 | safe | 4.66 | 0 | ? | 1.12 | -1 | ? | 452.1 | -1 | ? | 1198.4 | -1 | - | - | - |
bip/atm_local.21.002 | safe | 3.57 | safe | 3.55 | 0 | ? | 1.06 | -1 | ? | 447.92 | -1 | ? | 1198.03 | -1 | - | - | - |
bip/mutual_exclusion.02.000 | safe | 0.07 | safe | 0.06 | 0 | safe | 7.27 | 0 | safe | 9.91 | 0 | ? | 1201.76 | -1 | - | - | - |
bip/mutual_exclusion.02.001 | safe | 12.93 | safe | 9.97 | 0 | ? | 0 | -1 | ? | 167.51 | -1 | ? | 1201.44 | -1 | - | - | - |
bip/mutual_exclusion.02.002 | safe | 5.49 | safe | 29.59 | 0 | ? | 0 | -1 | ? | 197.42 | -1 | ? | 1201.47 | -1 | - | - | - |
bip/mutual_exclusion.03.000 | safe | 0.06 | safe | 0.05 | 0 | safe | 27.68 | 0 | safe | 11.16 | 0 | ? | 1201.57 | -1 | - | - | - |
bip/mutual_exclusion.03.001 | unsafe | 1.16 | unsafe | 1.17 | 0 | ? | 0 | -1 | ? | 190.3 | -1 | ? | 1201.52 | -1 | - | - | - |
bip/mutual_exclusion.03.002 | safe | 39.19 | ? | 1201.51 | -1 | ? | 0 | -1 | ? | 200.62 | -1 | ? | 1201.67 | -1 | - | - | - |
bip/mutual_exclusion.04.000 | safe | 0.08 | safe | 0.08 | 0 | safe | 50.0 | 0 | safe | 13.21 | 0 | ? | 1201.91 | -1 | - | - | - |
bip/mutual_exclusion.04.001 | unsafe | 0.99 | unsafe | 0.99 | 0 | ? | 0 | -1 | ? | 782.77 | -1 | ? | 1201.74 | -1 | - | - | - |
bip/mutual_exclusion.04.002 | safe | 29.23 | ? | 1201.76 | -1 | ? | 0 | -1 | ? | 512.8 | -1 | ? | 1201.6 | -1 | - | - | - |
bip/mutual_exclusion.05.000 | safe | 0.06 | safe | 0.06 | 0 | safe | 220.2 | 0 | safe | 13.2 | 0 | ? | 1201.57 | -1 | - | - | - |
bip/mutual_exclusion.05.001 | unsafe | 2.18 | unsafe | 2.17 | 0 | ? | 0 | -1 | ? | 607.77 | -1 | ? | 1201.57 | -1 | - | - | - |
bip/mutual_exclusion.05.002 | safe | 78.78 | ? | 1201.42 | -1 | ? | 0 | -1 | ? | 570.82 | -1 | ? | 1201.67 | -1 | - | - | - |
bip/mutual_exclusion.06.000 | safe | 0.08 | safe | 0.04 | 0 | safe | 352.09 | 0 | safe | 18.46 | 0 | ? | 1201.28 | -1 | - | - | - |
bip/mutual_exclusion.06.001 | unsafe | 5.11 | unsafe | 5.02 | 0 | ? | 0 | -1 | ? | 578.22 | -1 | ? | 1201.32 | -1 | - | - | - |
bip/mutual_exclusion.06.002 | safe | 233.01 | ? | 1201.81 | -1 | ? | 0 | -1 | ? | 624.35 | -1 | ? | 1201.98 | -1 | - | - | - |
bip/mutual_exclusion.07.000 | safe | 0.09 | safe | 0.09 | 0 | safe | 637.53 | 0 | safe | 15.98 | 0 | ? | 1201.32 | -1 | - | - | - |
bip/mutual_exclusion.07.001 | unsafe | 6.39 | unsafe | 6.33 | 0 | ? | 0 | -1 | ? | 596.36 | -1 | ? | 1201.66 | -1 | - | - | - |
bip/mutual_exclusion.07.002 | safe | 253.42 | ? | 1201.83 | -1 | ? | 0 | -1 | ? | 764.21 | -1 | ? | 1201.34 | -1 | - | - | - |
bip/mutual_exclusion.08.000 | safe | 0.17 | safe | 0.06 | 0 | safe | 656.14 | 0 | safe | 20.84 | 0 | ? | 1201.33 | -1 | - | - | - |
bip/mutual_exclusion.08.001 | unsafe | 3.34 | unsafe | 3.23 | 0 | ? | 0 | -1 | ? | 641.61 | -1 | ? | 1201.31 | -1 | - | - | - |
bip/mutual_exclusion.08.002 | ? | 1201.88 | ? | 1201.71 | 0 | ? | 0 | 0 | ? | 731.42 | 0 | ? | 1201.12 | 0 | - | - | - |
bip/mutual_exclusion.09.000 | safe | 0.06 | safe | 0.08 | 0 | ? | 0 | -1 | safe | 17.74 | 0 | ? | 1201.29 | -1 | - | - | - |
bip/mutual_exclusion.09.001 | unsafe | 8.92 | unsafe | 8.9 | 0 | ? | 0 | -1 | ? | 887.27 | -1 | ? | 1201.76 | -1 | - | - | - |
bip/mutual_exclusion.09.002 | safe | 669.92 | ? | 1201.68 | -1 | ? | 0 | -1 | ? | 1117.12 | -1 | ? | 1201.45 | -1 | - | - | - |
bip/mutual_exclusion.10.000 | safe | 0.29 | safe | 0.05 | 0 | ? | 0 | -1 | safe | 19.53 | 0 | ? | 1201.28 | -1 | - | - | - |
bip/mutual_exclusion.10.001 | unsafe | 11.17 | unsafe | 10.92 | 0 | ? | 0 | -1 | ? | 0 | -1 | ? | 1201.48 | -1 | - | - | - |
bip/mutual_exclusion.10.002 | ? | 1201.55 | ? | 1201.79 | 0 | ? | 0 | 0 | ? | 863.02 | 0 | ? | 1201.2 | 0 | - | - | - |
bip/mutual_exclusion.11.000 | safe | 0.25 | safe | 0.05 | 0 | ? | 0 | -1 | safe | 19.65 | 0 | ? | 1201.7 | -1 | - | - | - |
bip/mutual_exclusion.11.001 | unsafe | 10.04 | unsafe | 9.9 | 0 | ? | 0 | -1 | ? | 1204.15 | -1 | ? | 1201.4 | -1 | - | - | - |
bip/mutual_exclusion.11.002 | ? | 1201.67 | ? | 1201.33 | 0 | ? | 0 | 0 | ? | 1129.68 | 0 | ? | 1201.19 | 0 | - | - | - |
bip/mutual_exclusion.12.000 | safe | 0.4 | safe | 0.06 | 0 | ? | 0 | -1 | safe | 21.71 | 0 | ? | 1201.48 | -1 | - | - | - |
bip/mutual_exclusion.12.001 | unsafe | 14.75 | unsafe | 14.57 | 0 | ? | 0 | -1 | ? | 1201.9 | -1 | ? | 1201.28 | -1 | - | - | - |
bip/mutual_exclusion.12.002 | ? | 1201.61 | ? | 1201.74 | 0 | ? | 0 | 0 | ? | 1201.78 | 0 | ? | 1201.7 | 0 | - | - | - |
bip/mutual_exclusion.13.000 | safe | 0.08 | safe | 0.06 | 0 | ? | 0 | -1 | safe | 22.02 | 0 | ? | 1201.2 | -1 | - | - | - |
bip/mutual_exclusion.13.001 | unsafe | 12.58 | unsafe | 12.33 | 0 | ? | 0 | -1 | ? | 1201.85 | -1 | ? | 1201.27 | -1 | - | - | - |
bip/mutual_exclusion.13.002 | ? | 1201.44 | ? | 1201.72 | 0 | ? | 0 | 0 | ? | 1201.71 | 0 | ? | 1201.28 | 0 | - | - | - |
bip/mutual_exclusion.14.000 | safe | 0.09 | safe | 0.21 | 0 | ? | 0 | -1 | safe | 25.18 | 0 | ? | 1201.67 | -1 | - | - | - |
bip/mutual_exclusion.14.001 | unsafe | 35.95 | unsafe | 36.32 | 0 | ? | 0 | -1 | ? | 1201.7 | -1 | ? | 1201.6 | -1 | - | - | - |
bip/mutual_exclusion.14.002 | ? | 1201.93 | ? | 1201.64 | 0 | ? | 0 | 0 | ? | 1201.79 | 0 | ? | 1201.53 | 0 | - | - | - |
bip/mutual_exclusion.15.000 | safe | 0.09 | safe | 0.06 | 0 | ? | 0.61 | -1 | safe | 25.67 | 0 | ? | 1201.39 | -1 | - | - | - |
bip/mutual_exclusion.15.001 | unsafe | 21.32 | unsafe | 21.63 | 0 | ? | 0.52 | -1 | ? | 1201.69 | -1 | ? | 1201.43 | -1 | - | - | - |
bip/mutual_exclusion.15.002 | ? | 1201.75 | ? | 1201.78 | 0 | ? | 0 | 0 | ? | 1201.81 | 0 | ? | 1201.31 | 0 | - | - | - |
bip/mutual_exclusion.16.000 | safe | 0.19 | safe | 0.06 | 0 | ? | 0.62 | -1 | safe | 27.75 | 0 | ? | 1201.67 | -1 | - | - | - |
bip/mutual_exclusion.16.001 | unsafe | 19.21 | unsafe | 19.13 | 0 | ? | 0.53 | -1 | ? | 1202.02 | -1 | ? | 1201.39 | -1 | - | - | - |
bip/mutual_exclusion.16.002 | ? | 1201.54 | ? | 1201.17 | 0 | ? | 0.52 | 0 | ? | 1201.78 | 0 | ? | 1201.65 | 0 | - | - | - |
bip/mutual_exclusion.17.000 | safe | 0.19 | safe | 0.07 | 0 | ? | 0.64 | -1 | safe | 27.46 | 0 | ? | 1201.66 | -1 | - | - | - |
bip/mutual_exclusion.17.001 | unsafe | 15.89 | unsafe | 15.68 | 0 | ? | 0.55 | -1 | ? | 1201.94 | -1 | ? | 1201.4 | -1 | - | - | - |
bip/mutual_exclusion.17.002 | ? | 1201.52 | ? | 1201.46 | 0 | ? | 0.56 | 0 | ? | 1202.0 | 0 | ? | 1201.43 | 0 | - | - | - |
bip/mutual_exclusion.18.000 | safe | 0.12 | safe | 0.08 | 0 | ? | 0.6 | -1 | safe | 28.52 | 0 | ? | 1201.84 | -1 | - | - | - |
bip/mutual_exclusion.18.001 | unsafe | 53.02 | unsafe | 52.4 | 0 | ? | 0.69 | -1 | ? | 1201.84 | -1 | ? | 1201.33 | -1 | - | - | - |
bip/mutual_exclusion.18.002 | ? | 1201.41 | ? | 1201.99 | 0 | ? | 0.68 | 0 | ? | 1201.73 | 0 | ? | 1201.82 | 0 | - | - | - |
bip/mutual_exclusion.19.000 | safe | 0.12 | safe | 0.08 | 0 | ? | 0.71 | -1 | safe | 25.5 | 0 | ? | 1201.35 | -1 | - | - | - |
bip/mutual_exclusion.19.001 | unsafe | 44.84 | unsafe | 44.27 | 0 | ? | 0.73 | -1 | ? | 1201.76 | -1 | ? | 1201.4 | -1 | - | - | - |
bip/mutual_exclusion.19.002 | ? | 1201.59 | ? | 1201.62 | 0 | ? | 0.71 | 0 | ? | 1201.86 | 0 | ? | 1201.56 | 0 | - | - | - |
bip/mutual_exclusion.20.000 | safe | 0.2 | safe | 0.09 | 0 | ? | 0.72 | -1 | safe | 40.86 | 0 | ? | 1201.58 | -1 | - | - | - |
bip/mutual_exclusion.20.001 | unsafe | 192.73 | unsafe | 182.24 | 0 | ? | 0.74 | -1 | ? | 1201.84 | -1 | ? | 1201.33 | -1 | - | - | - |
bip/mutual_exclusion.20.002 | ? | 1201.91 | ? | 1201.5 | 0 | ? | 0.61 | 0 | ? | 1201.82 | 0 | ? | 1201.35 | 0 | - | - | - |
bip/mutual_exclusion.21.000 | safe | 0.19 | safe | 0.09 | 0 | ? | 0.63 | -1 | safe | 30.25 | 0 | ? | 1201.77 | -1 | - | - | - |
bip/mutual_exclusion.21.001 | unsafe | 28.18 | unsafe | 27.75 | 0 | ? | 0.63 | -1 | ? | 1201.74 | -1 | ? | 1201.5 | -1 | - | - | - |
bip/mutual_exclusion.21.002 | ? | 1201.9 | ? | 1201.63 | 0 | ? | 0.73 | 0 | ? | 1201.74 | 0 | ? | 1201.56 | 0 | - | - | - |
bip/mutual_exclusion_local.02.000 | safe | 0.16 | safe | 0.04 | 0 | safe | 16.07 | 0 | safe | 9.26 | 0 | ? | 1201.69 | -1 | - | - | - |
bip/mutual_exclusion_local.02.001 | safe | 7.36 | safe | 16.88 | 0 | ? | 0 | -1 | ? | 166.26 | -1 | ? | 1201.28 | -1 | - | - | - |
bip/mutual_exclusion_local.02.002 | safe | 8.47 | safe | 28.17 | 0 | ? | 0 | -1 | ? | 149.18 | -1 | ? | 1201.71 | -1 | - | - | - |
bip/mutual_exclusion_local.03.000 | safe | 0.18 | safe | 0.05 | 0 | safe | 58.75 | 0 | safe | 10.72 | 0 | ? | 1201.68 | -1 | - | - | - |
bip/mutual_exclusion_local.03.001 | unsafe | 27.0 | unsafe | 42.59 | 0 | ? | 0 | -1 | ? | 203.7 | -1 | ? | 1201.73 | -1 | - | - | - |
bip/mutual_exclusion_local.03.002 | safe | 17.43 | safe | 1103.29 | 0 | ? | 0 | -1 | ? | 174.51 | -1 | ? | 1201.72 | -1 | - | - | - |
bip/mutual_exclusion_local.04.000 | safe | 0.17 | safe | 0.05 | 0 | safe | 118.92 | 0 | safe | 12.19 | 0 | ? | 1201.87 | -1 | - | - | - |
bip/mutual_exclusion_local.04.001 | unsafe | 35.34 | unsafe | 153.58 | 0 | ? | 0 | -1 | ? | 270.56 | -1 | ? | 1201.73 | -1 | - | - | - |
bip/mutual_exclusion_local.04.002 | safe | 26.55 | ? | 1201.7 | -1 | ? | 0 | -1 | ? | 263.94 | -1 | ? | 1201.68 | -1 | - | - | - |
bip/mutual_exclusion_local.05.000 | safe | 0.06 | safe | 0.04 | 0 | safe | 390.12 | 0 | safe | 13.35 | 0 | ? | 1201.68 | -1 | - | - | - |
bip/mutual_exclusion_local.05.001 | unsafe | 63.7 | unsafe | 181.49 | 0 | ? | 0 | -1 | ? | 504.95 | -1 | ? | 1201.73 | -1 | - | - | - |
bip/mutual_exclusion_local.05.002 | safe | 25.13 | ? | 1201.48 | -1 | ? | 0 | -1 | ? | 322.56 | -1 | ? | 1201.72 | -1 | - | - | - |
bip/mutual_exclusion_local.06.000 | safe | 0.06 | safe | 0.05 | 0 | safe | 1195.39 | 0 | safe | 14.39 | 0 | ? | 1201.47 | -1 | - | - | - |
bip/mutual_exclusion_local.06.001 | unsafe | 87.3 | unsafe | 476.87 | 0 | ? | 0 | -1 | ? | 419.2 | -1 | ? | 1201.73 | -1 | - | - | - |
bip/mutual_exclusion_local.06.002 | safe | 81.5 | ? | 1201.93 | -1 | ? | 0 | -1 | ? | 620.83 | -1 | ? | 1201.48 | -1 | - | - | - |
bip/mutual_exclusion_local.07.000 | safe | 0.08 | safe | 0.16 | 0 | safe | 1028.2 | 0 | safe | 15.96 | 0 | ? | 1201.22 | -1 | - | - | - |
bip/mutual_exclusion_local.07.001 | unsafe | 311.75 | unsafe | 764.16 | 0 | ? | 0 | -1 | ? | 524.18 | -1 | ? | 1201.46 | -1 | - | - | - |
bip/mutual_exclusion_local.07.002 | safe | 113.58 | ? | 1201.9 | -1 | ? | 0 | -1 | ? | 703.13 | -1 | ? | 1201.46 | -1 | - | - | - |
bip/mutual_exclusion_local.08.000 | safe | 0.18 | safe | 0.18 | 0 | ? | 0 | -1 | safe | 16.91 | 0 | ? | 1201.43 | -1 | - | - | - |
bip/mutual_exclusion_local.08.001 | unsafe | 427.64 | ? | 1202.3 | -1 | ? | 0 | -1 | ? | 859.86 | -1 | ? | 1201.59 | -1 | - | - | - |
bip/mutual_exclusion_local.08.002 | ? | 1201.62 | ? | 1201.99 | 0 | ? | 0 | 0 | ? | 829.11 | 0 | ? | 1201.3 | 0 | - | - | - |
bip/mutual_exclusion_local.09.000 | safe | 0.16 | safe | 0.05 | 0 | ? | 0 | -1 | safe | 15.53 | 0 | ? | 1201.47 | -1 | - | - | - |
bip/mutual_exclusion_local.09.001 | unsafe | 417.08 | ? | 1202.03 | -1 | ? | 0 | -1 | ? | 1115.39 | -1 | ? | 1201.47 | -1 | - | - | - |
bip/mutual_exclusion_local.09.002 | safe | 307.57 | ? | 1201.52 | -1 | ? | 0 | -1 | ? | 786.86 | -1 | ? | 1201.44 | -1 | - | - | - |
bip/mutual_exclusion_local.10.000 | safe | 0.17 | safe | 0.17 | 0 | ? | 0 | -1 | safe | 18.59 | 0 | ? | 1201.26 | -1 | - | - | - |
bip/mutual_exclusion_local.10.001 | unsafe | 192.15 | ? | 1202.01 | -1 | ? | 0 | -1 | ? | 982.85 | -1 | ? | 1201.25 | -1 | - | - | - |
bip/mutual_exclusion_local.10.002 | safe | 131.69 | ? | 1201.52 | -1 | ? | 0 | -1 | ? | 895.38 | -1 | ? | 1200.96 | -1 | - | - | - |
bip/mutual_exclusion_local.11.000 | safe | 0.16 | safe | 0.05 | 0 | ? | 0 | -1 | safe | 19.73 | 0 | ? | 1201.45 | -1 | - | - | - |
bip/mutual_exclusion_local.11.001 | unsafe | 516.25 | ? | 1201.55 | -1 | ? | 0 | -1 | ? | 1168.27 | -1 | ? | 1201.55 | -1 | - | - | - |
bip/mutual_exclusion_local.11.002 | safe | 136.07 | ? | 1201.77 | -1 | ? | 0 | -1 | ? | 1169.47 | -1 | ? | 1201.37 | -1 | - | - | - |
bip/mutual_exclusion_local.12.000 | safe | 0.18 | safe | 0.17 | 0 | ? | 0 | -1 | safe | 21.26 | 0 | ? | 1201.26 | -1 | - | - | - |
bip/mutual_exclusion_local.12.001 | ? | 1201.63 | ? | 1201.48 | 0 | ? | 0 | 0 | ? | 1201.68 | 0 | ? | 1201.43 | 0 | - | - | - |
bip/mutual_exclusion_local.12.002 | safe | 177.69 | ? | 1201.68 | -1 | ? | 0 | -1 | ? | 1204.16 | -1 | ? | 1201.2 | -1 | - | - | - |
bip/mutual_exclusion_local.13.000 | safe | 0.19 | safe | 0.07 | 0 | ? | 0 | -1 | safe | 21.25 | 0 | ? | 1201.24 | -1 | - | - | - |
bip/mutual_exclusion_local.13.001 | unsafe | 298.34 | ? | 1201.85 | -1 | ? | 0 | -1 | ? | 1201.68 | -1 | ? | 1201.55 | -1 | - | - | - |
bip/mutual_exclusion_local.13.002 | safe | 1104.72 | ? | 1201.95 | -1 | ? | 0 | -1 | ? | 1201.7 | -1 | ? | 1201.4 | -1 | - | - | - |
bip/mutual_exclusion_local.14.000 | safe | 0.09 | safe | 0.06 | 0 | ? | 0 | -1 | safe | 21.35 | 0 | ? | 1201.73 | -1 | - | - | - |
bip/mutual_exclusion_local.14.001 | unsafe | 892.53 | ? | 1201.83 | -1 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.78 | -1 | - | - | - |
bip/mutual_exclusion_local.14.002 | safe | 922.82 | ? | 1201.69 | -1 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.34 | -1 | - | - | - |
bip/mutual_exclusion_local.15.000 | safe | 0.09 | safe | 0.06 | 0 | ? | 0 | -1 | safe | 24.77 | 0 | ? | 1201.07 | -1 | - | - | - |
bip/mutual_exclusion_local.15.001 | unsafe | 353.8 | ? | 1201.52 | -1 | ? | 0 | -1 | ? | 1201.68 | -1 | ? | 1201.46 | -1 | - | - | - |
bip/mutual_exclusion_local.15.002 | ? | 1201.99 | ? | 1201.53 | 0 | ? | 0 | 0 | ? | 1201.89 | 0 | ? | 1201.35 | 0 | - | - | - |
bip/mutual_exclusion_local.16.000 | safe | 0.19 | safe | 0.06 | 0 | ? | 0.63 | -1 | safe | 25.61 | 0 | ? | 1201.72 | -1 | - | - | - |
bip/mutual_exclusion_local.16.001 | unsafe | 215.48 | ? | 1201.81 | -1 | ? | 0.52 | -1 | ? | 1202.0 | -1 | ? | 1201.71 | -1 | - | - | - |
bip/mutual_exclusion_local.16.002 | safe | 493.54 | ? | 1202.16 | -1 | ? | 0.53 | -1 | ? | 1201.76 | -1 | ? | 1201.29 | -1 | - | - | - |
bip/mutual_exclusion_local.17.000 | safe | 0.2 | safe | 0.07 | 0 | ? | 0.63 | -1 | safe | 26.37 | 0 | ? | 1201.37 | -1 | - | - | - |
bip/mutual_exclusion_local.17.001 | ? | 1201.62 | ? | 1201.99 | 0 | ? | 0.54 | 0 | ? | 1201.81 | 0 | ? | 1201.06 | 0 | - | - | - |
bip/mutual_exclusion_local.17.002 | safe | 464.39 | ? | 1201.63 | -1 | ? | 0.64 | -1 | ? | 1201.8 | -1 | ? | 1201.34 | -1 | - | - | - |
bip/mutual_exclusion_local.18.000 | safe | 0.09 | safe | 0.19 | 0 | ? | 0.55 | -1 | safe | 28.27 | 0 | ? | 1201.44 | -1 | - | - | - |
bip/mutual_exclusion_local.18.001 | ? | 1201.81 | ? | 1201.58 | 0 | ? | 0.54 | 0 | ? | 1201.72 | 0 | ? | 1201.3 | 0 | - | - | - |
bip/mutual_exclusion_local.18.002 | safe | 1184.87 | ? | 1201.69 | -1 | ? | 0.64 | -1 | ? | 1201.75 | -1 | ? | 1201.59 | -1 | - | - | - |
bip/mutual_exclusion_local.19.000 | safe | 0.19 | safe | 0.07 | 0 | ? | 0.68 | -1 | safe | 29.08 | 0 | ? | 1201.57 | -1 | - | - | - |
bip/mutual_exclusion_local.19.001 | ? | 1202.13 | ? | 1201.92 | 0 | ? | 0.68 | 0 | ? | 1201.79 | 0 | ? | 1201.66 | 0 | - | - | - |
bip/mutual_exclusion_local.19.002 | safe | 417.23 | ? | 1202.1 | -1 | ? | 0.67 | -1 | ? | 1201.79 | -1 | ? | 1201.74 | -1 | - | - | - |
bip/mutual_exclusion_local.20.000 | safe | 0.19 | safe | 0.08 | 0 | ? | 0.71 | -1 | safe | 45.67 | 0 | ? | 1201.38 | -1 | - | - | - |
bip/mutual_exclusion_local.20.001 | ? | 1201.89 | ? | 1201.85 | 0 | ? | 0.7 | 0 | ? | 1201.79 | 0 | ? | 1201.31 | 0 | - | - | - |
bip/mutual_exclusion_local.20.002 | ? | 1201.88 | ? | 1201.85 | 0 | ? | 0.7 | 0 | ? | 1201.88 | 0 | ? | 1201.54 | 0 | - | - | - |
bip/mutual_exclusion_local.21.000 | safe | 0.1 | safe | 0.17 | 0 | ? | 0.7 | -1 | safe | 27.05 | 0 | ? | 1201.4 | -1 | - | - | - |
bip/mutual_exclusion_local.21.001 | ? | 1201.56 | ? | 1201.94 | 0 | ? | 0.7 | 0 | ? | 1201.81 | 0 | ? | 1201.66 | 0 | - | - | - |
bip/mutual_exclusion_local.21.002 | ? | 1202.0 | ? | 1201.63 | 0 | ? | 0.71 | 0 | ? | 1201.75 | 0 | ? | 1201.76 | 0 | - | - | - |
timed-toint/counter.003.000 | safe | 3.7 | safe | 3.39 | 0 | ? | 0.42 | -1 | ? | 458.68 | -1 | ? | 146.61 | -1 | - | - | - |
timed-toint/counter.004.000 | safe | 16.44 | ? | 1201.87 | -1 | ? | 0.43 | -1 | ? | 375.28 | -1 | ? | 163.09 | -1 | - | - | - |
timed-toint/counter.005.000 | safe | 214.08 | ? | 1202.03 | -1 | ? | 0.39 | -1 | ? | 531.15 | -1 | ? | 186.65 | -1 | - | - | - |
timed-toint/counter.006.000 | ? | 1201.22 | ? | 1201.23 | 0 | ? | 0.4 | 0 | ? | 408.8 | 0 | ? | 194.23 | 0 | - | - | - |
timed-toint/counter.007.000 | ? | 1201.13 | ? | 1201.99 | 0 | ? | 0.35 | 0 | ? | 468.95 | 0 | ? | 176.5 | 0 | - | - | - |
timed-toint/counter.008.000 | ? | 1202.01 | ? | 1202.15 | 0 | ? | 0.39 | 0 | ? | 385.5 | 0 | ? | 247.36 | 0 | - | - | - |
timed-toint/counter.009.000 | ? | 1202.03 | ? | 1201.95 | 0 | ? | 0.39 | 0 | ? | 386.79 | 0 | ? | 199.8 | 0 | - | - | - |
timed-toint/counter.010.000 | ? | 1201.78 | ? | 1201.73 | 0 | ? | 0.45 | 0 | ? | 200.98 | 0 | ? | 231.04 | 0 | - | - | - |
timed-toint/csma_aut.002.000 | ? | 1201.82 | ? | 944.22 | 0 | ? | 2.12 | 0 | ? | 1201.64 | 0 | ? | 1201.35 | 0 | - | - | - |
timed-toint/csma_aut.002.001 | safe | 7.82 | safe | 7.78 | 0 | ? | 1.9 | -1 | ? | 1201.67 | -1 | ? | 1201.79 | -1 | - | - | - |
timed-toint/csma_aut.002.002 | safe | 0.86 | safe | 0.86 | 0 | ? | 1.94 | -1 | ? | 1201.78 | -1 | ? | 1201.2 | -1 | - | - | - |
timed-toint/csma_aut.003.000 | ? | 1201.28 | ? | 1201.85 | 0 | ? | 3.55 | 0 | ? | 1201.85 | 0 | ? | 1201.7 | 0 | - | - | - |
timed-toint/csma_aut.003.001 | ? | 1201.58 | ? | 1201.88 | 0 | ? | 2.99 | 0 | ? | 1201.67 | 0 | ? | 1201.35 | 0 | - | - | - |
timed-toint/csma_aut.003.002 | safe | 0.65 | safe | 0.48 | 0 | ? | 3.12 | -1 | ? | 1201.73 | -1 | ? | 1201.6 | -1 | - | - | - |
timed-toint/csma_aut.004.000 | ? | 1201.95 | ? | 1201.71 | 0 | ? | 5.85 | 0 | ? | 1201.72 | 0 | ? | 1201.38 | 0 | - | - | - |
timed-toint/csma_aut.004.001 | ? | 1201.83 | ? | 1201.78 | 0 | ? | 4.34 | 0 | ? | 1201.66 | 0 | ? | 1201.24 | 0 | - | - | - |
timed-toint/csma_aut.004.002 | safe | 1.02 | safe | 1.01 | 0 | ? | 4.59 | -1 | ? | 1201.76 | -1 | ? | 1201.3 | -1 | - | - | - |
timed-toint/csma_aut.005.000 | ? | 1202.23 | ? | 1201.61 | 0 | ? | 10.63 | 0 | ? | 1201.87 | 0 | ? | 1201.18 | 0 | - | - | - |
timed-toint/csma_aut.005.001 | ? | 1201.83 | ? | 1201.91 | 0 | ? | 6.22 | 0 | ? | 1201.7 | 0 | ? | 1201.31 | 0 | - | - | - |
timed-toint/csma_aut.005.002 | safe | 1.48 | safe | 1.34 | 0 | ? | 6.44 | -1 | ? | 1201.72 | -1 | ? | 1201.91 | -1 | - | - | - |
timed-toint/csma_aut.006.000 | ? | 1201.68 | ? | 1201.96 | 0 | ? | 21.54 | 0 | ? | 1201.66 | 0 | ? | 1201.3 | 0 | - | - | - |
timed-toint/csma_aut.006.001 | ? | 1201.67 | ? | 1202.05 | 0 | ? | 8.19 | 0 | ? | 1201.68 | 0 | ? | 1201.39 | 0 | - | - | - |
timed-toint/csma_aut.006.002 | safe | 2.14 | safe | 2.01 | 0 | ? | 8.77 | -1 | ? | 1201.72 | -1 | ? | 1201.27 | -1 | - | - | - |
timed-toint/csma_aut.007.000 | ? | 1202.12 | ? | 1201.94 | 0 | ? | 44.63 | 0 | ? | 1201.67 | 0 | ? | 1201.35 | 0 | - | - | - |
timed-toint/csma_aut.007.001 | ? | 1203.09 | ? | 1201.83 | 0 | ? | 11.27 | 0 | ? | 1201.66 | 0 | ? | 1201.23 | 0 | - | - | - |
timed-toint/csma_aut.007.002 | safe | 2.47 | safe | 2.44 | 0 | ? | 12.09 | -1 | ? | 1201.69 | -1 | ? | 1201.46 | -1 | - | - | - |
timed-toint/csma_aut.008.000 | ? | 1201.65 | ? | 1201.8 | 0 | ? | 90.65 | 0 | ? | 1201.69 | 0 | ? | 1201.39 | 0 | - | - | - |
timed-toint/csma_aut.008.001 | ? | 1201.58 | ? | 1201.66 | 0 | ? | 14.79 | 0 | ? | 1204.08 | 0 | ? | 1201.25 | 0 | - | - | - |
timed-toint/csma_aut.008.002 | safe | 2.35 | safe | 2.34 | 0 | ? | 16.65 | -1 | ? | 1201.71 | -1 | ? | 1201.49 | -1 | - | - | - |
timed-toint/csma_aut.009.000 | ? | 1202.11 | ? | 1201.86 | 0 | ? | 200.18 | 0 | ? | 1201.75 | 0 | ? | 1201.41 | 0 | - | - | - |
timed-toint/csma_aut.009.001 | ? | 1201.43 | ? | 1201.89 | 0 | ? | 21.15 | 0 | ? | 1201.71 | 0 | ? | 1201.43 | 0 | - | - | - |
timed-toint/csma_aut.009.002 | safe | 1.22 | safe | 1.1 | 0 | ? | 22.85 | -1 | ? | 1201.73 | -1 | ? | 1201.47 | -1 | - | - | - |
timed-toint/csma_aut.010.000 | ? | 1201.86 | ? | 1201.53 | 0 | ? | 499.45 | 0 | ? | 1201.77 | 0 | ? | 1201.28 | 0 | - | - | - |
timed-toint/csma_aut.010.001 | ? | 1201.7 | ? | 1201.33 | 0 | ? | 28.13 | 0 | ? | 1201.78 | 0 | ? | 1201.43 | 0 | - | - | - |
timed-toint/csma_aut.010.002 | safe | 1.11 | safe | 0.97 | 0 | ? | 30.55 | -1 | ? | 1201.68 | -1 | ? | 1201.29 | -1 | - | - | - |
timed-toint/csma_aut.011.000 | ? | 1201.96 | ? | 1201.62 | 0 | ? | 0 | 0 | ? | 1201.68 | 0 | ? | 1201.56 | 0 | - | - | - |
timed-toint/csma_aut.011.001 | ? | 1201.51 | ? | 1201.76 | 0 | ? | 36.44 | 0 | ? | 1201.74 | 0 | ? | 1201.23 | 0 | - | - | - |
timed-toint/csma_aut.011.002 | safe | 5.43 | safe | 5.26 | 0 | ? | 39.36 | -1 | ? | 415.33 | -1 | ? | 1201.23 | -1 | - | - | - |
timed-toint/csma_aut.012.000 | ? | 1201.96 | ? | 1201.85 | 0 | ? | 0 | 0 | ? | 290.11 | 0 | ? | 1201.46 | 0 | - | - | - |
timed-toint/csma_aut.012.001 | ? | 1202.24 | ? | 1201.13 | 0 | ? | 44.71 | 0 | ? | 1201.67 | 0 | ? | 1201.25 | 0 | - | - | - |
timed-toint/csma_aut.012.002 | safe | 5.66 | safe | 5.54 | 0 | ? | 48.83 | -1 | ? | 0 | -1 | ? | 1201.42 | -1 | - | - | - |
timed-toint/csma_aut.013.000 | ? | 1201.52 | ? | 1201.6 | 0 | ? | 0 | 0 | ? | 414.81 | 0 | ? | 1201.36 | 0 | - | - | - |
timed-toint/csma_aut.013.001 | ? | 1201.8 | ? | 1202.09 | 0 | ? | 55.2 | 0 | ? | 214.22 | 0 | ? | 1201.23 | 0 | - | - | - |
timed-toint/csma_aut.013.002 | safe | 6.35 | safe | 6.22 | 0 | ? | 67.91 | -1 | ? | 198.0 | -1 | ? | 1201.51 | -1 | - | - | - |
timed-toint/csma_aut.014.000 | ? | 1201.47 | ? | 1201.55 | 0 | ? | 0 | 0 | ? | 619.35 | 0 | ? | 1201.42 | 0 | - | - | - |
timed-toint/csma_aut.014.001 | ? | 1201.49 | ? | 1201.58 | 0 | ? | 67.18 | 0 | ? | 205.1 | 0 | ? | 1201.58 | 0 | - | - | - |
timed-toint/csma_aut.014.002 | safe | 5.89 | safe | 5.76 | 0 | ? | 73.87 | -1 | ? | 367.92 | -1 | ? | 1201.43 | -1 | - | - | - |
timed-toint/csma_aut.015.000 | ? | 1201.76 | ? | 1201.66 | 0 | ? | 0 | 0 | ? | 395.1 | 0 | ? | 1201.87 | 0 | - | - | - |
timed-toint/csma_aut.015.001 | ? | 1201.68 | ? | 1201.97 | 0 | ? | 80.71 | 0 | ? | 251.71 | 0 | ? | 1201.37 | 0 | - | - | - |
timed-toint/csma_aut.015.002 | safe | 9.27 | safe | 9.14 | 0 | ? | 90.91 | -1 | ? | 264.28 | -1 | ? | 1201.44 | -1 | - | - | - |
timed-toint/fischer_aut.002.000 | safe | 0.38 | safe | 0.38 | 0 | ? | 2.6 | -1 | ? | 1204.13 | -1 | ? | 1080.44 | -1 | - | - | - |
timed-toint/fischer_aut.002.001 | safe | 2.2 | safe | 2.17 | 0 | ? | 3.76 | -1 | ? | 1201.73 | -1 | ? | 1181.35 | -1 | - | - | - |
timed-toint/fischer_aut.002.002 | safe | 17.3 | safe | 17.18 | 0 | ? | 1.95 | -1 | ? | 970.98 | -1 | ? | 645.5 | -1 | - | - | - |
timed-toint/fischer_aut.002.003 | safe | 0.59 | safe | 0.46 | 0 | ? | 1.97 | -1 | ? | 1201.63 | -1 | ? | 739.77 | -1 | - | - | - |
timed-toint/fischer_aut.002.004 | safe | 1.18 | safe | 1.07 | 0 | ? | 1.96 | -1 | ? | 1201.68 | -1 | ? | 703.81 | -1 | - | - | - |
timed-toint/fischer_aut.002.005 | safe | 0.42 | safe | 0.31 | 0 | ? | 2.02 | -1 | ? | 1201.68 | -1 | ? | 698.71 | -1 | - | - | - |
timed-toint/fischer_aut.003.000 | safe | 0.46 | safe | 0.36 | 0 | ? | 6.74 | -1 | ? | 1201.73 | -1 | ? | 1201.7 | -1 | - | - | - |
timed-toint/fischer_aut.003.001 | safe | 8.61 | safe | 8.47 | 0 | ? | 22.58 | -1 | ? | 1201.66 | -1 | ? | 1201.63 | -1 | - | - | - |
timed-toint/fischer_aut.003.002 | safe | 143.9 | safe | 143.95 | 0 | ? | 5.13 | -1 | ? | 1201.72 | -1 | ? | 1201.65 | -1 | - | - | - |
timed-toint/fischer_aut.003.003 | safe | 1.42 | safe | 1.38 | 0 | ? | 5.2 | -1 | ? | 1201.74 | -1 | ? | 1201.82 | -1 | - | - | - |
timed-toint/fischer_aut.003.004 | safe | 1.88 | safe | 1.85 | 0 | ? | 5.2 | -1 | ? | 1201.74 | -1 | ? | 1201.25 | -1 | - | - | - |
timed-toint/fischer_aut.003.005 | safe | 0.71 | safe | 0.71 | 0 | ? | 5.18 | -1 | ? | 1201.75 | -1 | ? | 1201.67 | -1 | - | - | - |
timed-toint/fischer_aut.004.000 | safe | 0.52 | safe | 0.5 | 0 | ? | 16.47 | -1 | ? | 1201.76 | -1 | ? | 1201.66 | -1 | - | - | - |
timed-toint/fischer_aut.004.001 | safe | 14.61 | safe | 14.62 | 0 | ? | 124.81 | -1 | ? | 1201.72 | -1 | ? | 1201.63 | -1 | - | - | - |
timed-toint/fischer_aut.004.002 | safe | 203.37 | safe | 207.55 | 0 | ? | 10.05 | -1 | ? | 1201.75 | -1 | ? | 1201.71 | -1 | - | - | - |
timed-toint/fischer_aut.004.003 | safe | 0.42 | safe | 0.3 | 0 | ? | 9.95 | -1 | ? | 1201.66 | -1 | ? | 1201.2 | -1 | - | - | - |
timed-toint/fischer_aut.004.004 | safe | 0.62 | safe | 0.51 | 0 | ? | 10.01 | -1 | ? | 1201.73 | -1 | ? | 1201.49 | -1 | - | - | - |
timed-toint/fischer_aut.004.005 | safe | 0.48 | safe | 0.38 | 0 | ? | 9.91 | -1 | ? | 1201.74 | -1 | ? | 1201.47 | -1 | - | - | - |
timed-toint/fischer_aut.005.000 | safe | 0.94 | safe | 0.83 | 0 | ? | 42.06 | -1 | ? | 1201.67 | -1 | ? | 1201.29 | -1 | - | - | - |
timed-toint/fischer_aut.005.001 | safe | 66.35 | safe | 66.25 | 0 | ? | 1011.97 | -1 | ? | 1201.72 | -1 | ? | 1201.22 | -1 | - | - | - |
timed-toint/fischer_aut.005.002 | ? | 1201.77 | ? | 1201.92 | 0 | ? | 29.38 | 0 | ? | 1201.7 | 0 | ? | 1201.34 | 0 | - | - | - |
timed-toint/fischer_aut.005.003 | safe | 0.94 | safe | 0.82 | 0 | ? | 25.65 | -1 | ? | 1201.72 | -1 | ? | 1201.59 | -1 | - | - | - |
timed-toint/fischer_aut.005.004 | safe | 1.38 | safe | 1.53 | 0 | ? | 25.55 | -1 | ? | 1201.74 | -1 | ? | 1201.2 | -1 | - | - | - |
timed-toint/fischer_aut.005.005 | safe | 0.8 | safe | 0.76 | 0 | ? | 25.29 | -1 | ? | 1201.88 | -1 | ? | 1201.43 | -1 | - | - | - |
timed-toint/fischer_aut.006.000 | safe | 0.96 | safe | 0.86 | 0 | ? | 103.91 | -1 | ? | 1201.71 | -1 | ? | 1201.37 | -1 | - | - | - |
timed-toint/fischer_aut.006.001 | safe | 92.71 | safe | 95.75 | 0 | ? | 0 | -1 | ? | 1201.71 | -1 | ? | 1201.38 | -1 | - | - | - |
timed-toint/fischer_aut.006.002 | safe | 1062.51 | safe | 1012.62 | 0 | ? | 60.08 | -1 | ? | 1201.69 | -1 | ? | 1201.77 | -1 | - | - | - |
timed-toint/fischer_aut.006.003 | safe | 2.53 | safe | 2.4 | 0 | ? | 60.5 | -1 | ? | 1201.69 | -1 | ? | 1201.33 | -1 | - | - | - |
timed-toint/fischer_aut.006.004 | safe | 0.68 | safe | 0.55 | 0 | ? | 60.4 | -1 | ? | 1201.68 | -1 | ? | 1201.19 | -1 | - | - | - |
timed-toint/fischer_aut.006.005 | safe | 2.23 | safe | 2.1 | 0 | ? | 60.93 | -1 | ? | 1201.77 | -1 | ? | 1201.31 | -1 | - | - | - |
timed-toint/fischer_aut.007.000 | safe | 1.3 | safe | 1.18 | 0 | ? | 308.34 | -1 | ? | 1201.67 | -1 | ? | 1201.24 | -1 | - | - | - |
timed-toint/fischer_aut.007.001 | safe | 159.98 | safe | 164.93 | 0 | ? | 0 | -1 | ? | 1201.66 | -1 | ? | 1201.42 | -1 | - | - | - |
timed-toint/fischer_aut.007.002 | safe | 643.7 | safe | 662.67 | 0 | ? | 167.11 | -1 | ? | 1201.71 | -1 | ? | 1201.65 | -1 | - | - | - |
timed-toint/fischer_aut.007.003 | safe | 2.06 | safe | 1.96 | 0 | ? | 184.69 | -1 | ? | 1201.72 | -1 | ? | 1201.3 | -1 | - | - | - |
timed-toint/fischer_aut.007.004 | safe | 3.22 | safe | 3.12 | 0 | ? | 167.97 | -1 | ? | 1201.66 | -1 | ? | 1201.48 | -1 | - | - | - |
timed-toint/fischer_aut.007.005 | safe | 1.99 | safe | 1.89 | 0 | ? | 187.75 | -1 | ? | 1201.75 | -1 | ? | 1201.38 | -1 | - | - | - |
timed-toint/fischer_aut.008.000 | safe | 1.14 | safe | 1.12 | 0 | ? | 725.65 | -1 | ? | 1201.79 | -1 | ? | 1201.41 | -1 | - | - | - |
timed-toint/fischer_aut.008.001 | safe | 154.09 | safe | 151.86 | 0 | ? | 0 | -1 | ? | 1201.67 | -1 | ? | 1201.29 | -1 | - | - | - |
timed-toint/fischer_aut.008.002 | ? | 1201.37 | ? | 1202.05 | 0 | ? | 418.42 | 0 | ? | 1201.72 | 0 | ? | 1201.6 | 0 | - | - | - |
timed-toint/fischer_aut.008.003 | safe | 1.87 | safe | 1.87 | 0 | ? | 354.45 | -1 | ? | 1201.65 | -1 | ? | 1200.99 | -1 | - | - | - |
timed-toint/fischer_aut.008.004 | safe | 2.05 | safe | 1.97 | 0 | ? | 356.56 | -1 | ? | 1201.69 | -1 | ? | 1201.45 | -1 | - | - | - |
timed-toint/fischer_aut.008.005 | safe | 1.18 | safe | 1.01 | 0 | ? | 356.62 | -1 | ? | 1201.69 | -1 | ? | 1201.17 | -1 | - | - | - |
timed-toint/fischer_aut.009.000 | safe | 1.54 | safe | 1.51 | 0 | ? | 0 | -1 | ? | 1201.68 | -1 | ? | 1201.25 | -1 | - | - | - |
timed-toint/fischer_aut.009.001 | safe | 350.16 | safe | 331.19 | 0 | ? | 0 | -1 | ? | 1201.73 | -1 | ? | 1201.19 | -1 | - | - | - |
timed-toint/fischer_aut.009.002 | ? | 1202.61 | ? | 1201.2 | 0 | ? | 851.15 | 0 | ? | 1201.68 | 0 | ? | 1201.37 | 0 | - | - | - |
timed-toint/fischer_aut.009.003 | safe | 0.96 | safe | 0.85 | 0 | ? | 853.61 | -1 | ? | 1201.67 | -1 | ? | 1201.56 | -1 | - | - | - |
timed-toint/fischer_aut.009.004 | safe | 2.88 | safe | 2.81 | 0 | ? | 971.96 | -1 | ? | 1201.74 | -1 | ? | 1202.13 | -1 | - | - | - |
timed-toint/fischer_aut.009.005 | safe | 1.02 | safe | 0.95 | 0 | ? | 854.22 | -1 | ? | 1201.69 | -1 | ? | 1201.39 | -1 | - | - | - |
timed-toint/fischer_aut.010.000 | safe | 1.48 | safe | 1.34 | 0 | ? | 0 | -1 | ? | 1204.68 | -1 | ? | 1201.35 | -1 | - | - | - |
timed-toint/fischer_aut.010.001 | safe | 293.18 | safe | 292.2 | 0 | ? | 0 | -1 | ? | 1201.7 | -1 | ? | 1201.53 | -1 | - | - | - |
timed-toint/fischer_aut.010.002 | ? | 1201.94 | ? | 1201.81 | 0 | ? | 0 | 0 | ? | 1201.66 | 0 | ? | 1201.43 | 0 | - | - | - |
timed-toint/fischer_aut.010.003 | safe | 4.05 | safe | 4.03 | 0 | ? | 0 | -1 | ? | 1201.72 | -1 | ? | 1201.25 | -1 | - | - | - |
timed-toint/fischer_aut.010.004 | safe | 1.18 | safe | 1.15 | 0 | ? | 0 | -1 | ? | 1201.68 | -1 | ? | 1201.33 | -1 | - | - | - |
timed-toint/fischer_aut.010.005 | safe | 2.86 | safe | 2.85 | 0 | ? | 0 | -1 | ? | 1201.79 | -1 | ? | 1201.25 | -1 | - | - | - |
timed-toint/fischer_aut.011.000 | safe | 2.78 | safe | 2.79 | 0 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.25 | -1 | - | - | - |
timed-toint/fischer_aut.011.001 | ? | 1201.44 | safe | 1164.85 | +1 | ? | 34.26 | 0 | ? | 1201.67 | 0 | ? | 1201.19 | 0 | - | - | - |
timed-toint/fischer_aut.011.002 | ? | 1201.51 | ? | 1201.65 | 0 | ? | 0 | 0 | ? | 1201.74 | 0 | ? | 1201.63 | 0 | - | - | - |
timed-toint/fischer_aut.011.003 | safe | 5.22 | safe | 5.12 | 0 | ? | 0 | -1 | ? | 1201.76 | -1 | ? | 1201.34 | -1 | - | - | - |
timed-toint/fischer_aut.011.004 | safe | 4.69 | safe | 4.57 | 0 | ? | 0 | -1 | ? | 1201.76 | -1 | ? | 1201.19 | -1 | - | - | - |
timed-toint/fischer_aut.011.005 | safe | 10.45 | safe | 10.39 | 0 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.33 | -1 | - | - | - |
timed-toint/fischer_aut.012.000 | safe | 3.76 | safe | 3.65 | 0 | ? | 0 | -1 | ? | 1201.71 | -1 | ? | 1201.36 | -1 | - | - | - |
timed-toint/fischer_aut.012.001 | safe | 328.7 | safe | 312.06 | 0 | ? | 35.05 | -1 | ? | 1201.74 | -1 | ? | 1201.51 | -1 | - | - | - |
timed-toint/fischer_aut.012.002 | ? | 1202.17 | ? | 1201.95 | 0 | ? | 0 | 0 | ? | 1201.76 | 0 | ? | 1201.61 | 0 | - | - | - |
timed-toint/fischer_aut.012.003 | safe | 2.18 | safe | 2.15 | 0 | ? | 0 | -1 | ? | 1201.71 | -1 | ? | 1201.23 | -1 | - | - | - |
timed-toint/fischer_aut.012.004 | safe | 3.97 | safe | 3.87 | 0 | ? | 0 | -1 | ? | 1201.77 | -1 | ? | 1201.33 | -1 | - | - | - |
timed-toint/fischer_aut.012.005 | safe | 3.98 | safe | 3.82 | 0 | ? | 0 | -1 | ? | 1201.77 | -1 | ? | 1201.31 | -1 | - | - | - |
timed-toint/fischer_aut.013.000 | safe | 4.31 | safe | 4.32 | 0 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.21 | -1 | - | - | - |
timed-toint/fischer_aut.013.001 | safe | 455.22 | safe | 450.29 | 0 | ? | 33.88 | -1 | ? | 1201.66 | -1 | ? | 1201.15 | -1 | - | - | - |
timed-toint/fischer_aut.013.002 | ? | 1201.66 | ? | 1201.63 | 0 | ? | 0 | 0 | ? | 1201.68 | 0 | ? | 1201.58 | 0 | - | - | - |
timed-toint/fischer_aut.013.003 | safe | 6.5 | safe | 6.46 | 0 | ? | 0 | -1 | ? | 1201.73 | -1 | ? | 1201.43 | -1 | - | - | - |
timed-toint/fischer_aut.013.004 | safe | 2.94 | safe | 2.84 | 0 | ? | 0 | -1 | ? | 1201.72 | -1 | ? | 1201.14 | -1 | - | - | - |
timed-toint/fischer_aut.013.005 | safe | 6.65 | safe | 6.53 | 0 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.28 | -1 | - | - | - |
timed-toint/fischer_aut.014.000 | safe | 2.67 | safe | 2.53 | 0 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.39 | -1 | - | - | - |
timed-toint/fischer_aut.014.001 | safe | 380.8 | safe | 389.24 | 0 | ? | 0.57 | -1 | ? | 1201.73 | -1 | ? | 1201.43 | -1 | - | - | - |
timed-toint/fischer_aut.014.002 | ? | 1201.94 | ? | 1201.77 | 0 | ? | 0 | 0 | ? | 1201.78 | 0 | ? | 1201.83 | 0 | - | - | - |
timed-toint/fischer_aut.014.003 | safe | 10.27 | safe | 10.17 | 0 | ? | 0 | -1 | ? | 1201.72 | -1 | ? | 1201.27 | -1 | - | - | - |
timed-toint/fischer_aut.014.004 | safe | 3.05 | safe | 2.93 | 0 | ? | 0 | -1 | ? | 1201.67 | -1 | ? | 1201.27 | -1 | - | - | - |
timed-toint/fischer_aut.014.005 | safe | 7.88 | safe | 7.73 | 0 | ? | 0 | -1 | ? | 1201.83 | -1 | ? | 1201.3 | -1 | - | - | - |
timed-toint/fischer_aut.015.000 | safe | 3.51 | safe | 3.38 | 0 | ? | 0 | -1 | ? | 1201.75 | -1 | ? | 1201.3 | -1 | - | - | - |
timed-toint/fischer_aut.015.001 | safe | 1168.59 | safe | 1192.17 | 0 | ? | 0.61 | -1 | ? | 710.2 | -1 | ? | 1201.43 | -1 | - | - | - |
timed-toint/fischer_aut.015.002 | ? | 1201.87 | ? | 1202.05 | 0 | ? | 0 | 0 | ? | 1201.75 | 0 | ? | 1201.33 | 0 | - | - | - |
timed-toint/fischer_aut.015.003 | safe | 7.67 | safe | 7.57 | 0 | ? | 0 | -1 | ? | 899.28 | -1 | ? | 1201.67 | -1 | - | - | - |
timed-toint/fischer_aut.015.004 | safe | 2.43 | safe | 2.28 | 0 | ? | 0 | -1 | ? | 0 | -1 | ? | 1201.48 | -1 | - | - | - |
timed-toint/fischer_aut.015.005 | safe | 10.81 | safe | 10.69 | 0 | ? | 0 | -1 | ? | 1201.68 | -1 | ? | 1201.36 | -1 | - | - | - |
timed-toint/fischer_sal_aut.002.000 | safe | 0.48 | safe | 0.35 | 0 | ? | 2.24 | -1 | safe | 512.25 | 0 | ? | 1077.96 | -1 | - | - | - |
timed-toint/fischer_sal_aut.002.001 | safe | 2.26 | safe | 2.13 | 0 | ? | 3.46 | -1 | ? | 1201.69 | -1 | ? | 1201.93 | -1 | - | - | - |
timed-toint/fischer_sal_aut.002.002 | safe | 6.98 | safe | 6.92 | 0 | ? | 1.7 | -1 | ? | 1201.65 | -1 | ? | 680.91 | -1 | - | - | - |
timed-toint/fischer_sal_aut.002.003 | safe | 2.22 | safe | 2.2 | 0 | ? | 1.69 | -1 | ? | 1204.05 | -1 | ? | 706.17 | -1 | - | - | - |
timed-toint/fischer_sal_aut.002.004 | ? | 1201.79 | ? | 558.94 | 0 | ? | 1.69 | 0 | ? | 1201.74 | 0 | ? | 723.94 | 0 | - | - | - |
timed-toint/fischer_sal_aut.002.005 | ? | 1201.9 | ? | 624.27 | 0 | ? | 1.68 | 0 | ? | 1201.68 | 0 | ? | 701.4 | 0 | - | - | - |
timed-toint/fischer_sal_aut.003.000 | safe | 0.45 | safe | 0.31 | 0 | ? | 5.91 | -1 | safe | 456.04 | 0 | ? | 1201.79 | -1 | - | - | - |
timed-toint/fischer_sal_aut.003.001 | safe | 5.29 | safe | 5.31 | 0 | ? | 20.47 | -1 | ? | 1201.68 | -1 | ? | 1201.92 | -1 | - | - | - |
timed-toint/fischer_sal_aut.003.002 | safe | 76.49 | safe | 74.7 | 0 | ? | 4.46 | -1 | ? | 1201.78 | -1 | ? | 1201.93 | -1 | - | - | - |
timed-toint/fischer_sal_aut.003.003 | safe | 1.64 | safe | 1.52 | 0 | ? | 4.54 | -1 | ? | 1201.7 | -1 | ? | 1201.58 | -1 | - | - | - |
timed-toint/fischer_sal_aut.003.004 | ? | 1201.88 | ? | 594.99 | 0 | ? | 4.52 | 0 | ? | 1201.69 | 0 | ? | 1201.77 | 0 | - | - | - |
timed-toint/fischer_sal_aut.003.005 | ? | 1201.82 | ? | 571.0 | 0 | ? | 4.51 | 0 | ? | 1201.8 | 0 | ? | 1201.72 | 0 | - | - | - |
timed-toint/fischer_sal_aut.004.000 | safe | 0.78 | safe | 0.66 | 0 | ? | 14.03 | -1 | ? | 1201.74 | -1 | ? | 1201.4 | -1 | - | - | - |
timed-toint/fischer_sal_aut.004.001 | safe | 8.66 | safe | 8.5 | 0 | ? | 115.61 | -1 | ? | 1201.7 | -1 | ? | 1201.93 | -1 | - | - | - |
timed-toint/fischer_sal_aut.004.002 | safe | 43.53 | safe | 43.85 | 0 | ? | 8.75 | -1 | ? | 1201.68 | -1 | ? | 1201.62 | -1 | - | - | - |
timed-toint/fischer_sal_aut.004.003 | safe | 4.41 | safe | 4.33 | 0 | ? | 8.77 | -1 | ? | 1201.74 | -1 | ? | 1201.63 | -1 | - | - | - |
timed-toint/fischer_sal_aut.004.004 | ? | 1201.92 | ? | 575.19 | 0 | ? | 8.7 | 0 | ? | 1201.74 | 0 | ? | 1201.57 | 0 | - | - | - |
timed-toint/fischer_sal_aut.004.005 | ? | 1201.89 | ? | 596.14 | 0 | ? | 8.69 | 0 | ? | 1201.65 | 0 | ? | 1201.65 | 0 | - | - | - |
timed-toint/fischer_sal_aut.005.000 | safe | 0.89 | safe | 0.78 | 0 | ? | 37.99 | -1 | ? | 1201.63 | -1 | ? | 1201.5 | -1 | - | - | - |
timed-toint/fischer_sal_aut.005.001 | safe | 110.0 | safe | 110.07 | 0 | ? | 1022.74 | -1 | ? | 1201.71 | -1 | ? | 1201.52 | -1 | - | - | - |
timed-toint/fischer_sal_aut.005.002 | safe | 853.56 | safe | 819.81 | 0 | ? | 23.05 | -1 | ? | 1201.71 | -1 | ? | 1201.52 | -1 | - | - | - |
timed-toint/fischer_sal_aut.005.003 | safe | 2.56 | safe | 2.45 | 0 | ? | 22.7 | -1 | ? | 1201.68 | -1 | ? | 1201.42 | -1 | - | - | - |
timed-toint/fischer_sal_aut.005.004 | ? | 1201.86 | ? | 629.84 | 0 | ? | 22.54 | 0 | ? | 1201.64 | 0 | ? | 1201.42 | 0 | - | - | - |
timed-toint/fischer_sal_aut.005.005 | ? | 1201.59 | ? | 572.06 | 0 | ? | 22.54 | 0 | ? | 1201.74 | 0 | ? | 1201.48 | 0 | - | - | - |
timed-toint/fischer_sal_aut.006.000 | safe | 1.08 | safe | 0.97 | 0 | ? | 93.9 | -1 | ? | 1201.69 | -1 | ? | 1201.32 | -1 | - | - | - |
timed-toint/fischer_sal_aut.006.001 | safe | 117.38 | safe | 117.8 | 0 | ? | 0 | -1 | ? | 1201.68 | -1 | ? | 1201.57 | -1 | - | - | - |
timed-toint/fischer_sal_aut.006.002 | safe | 483.62 | safe | 471.11 | 0 | ? | 54.52 | -1 | ? | 1201.74 | -1 | ? | 1201.47 | -1 | - | - | - |
timed-toint/fischer_sal_aut.006.003 | safe | 3.76 | safe | 3.71 | 0 | ? | 62.97 | -1 | ? | 1201.7 | -1 | ? | 1201.53 | -1 | - | - | - |
timed-toint/fischer_sal_aut.006.004 | ? | 1201.33 | ? | 952.1 | 0 | ? | 54.4 | 0 | ? | 0 | 0 | ? | 1201.36 | 0 | - | - | - |
timed-toint/fischer_sal_aut.006.005 | ? | 1201.34 | ? | 811.32 | 0 | ? | 54.52 | 0 | ? | 1201.76 | 0 | ? | 1201.48 | 0 | - | - | - |
timed-toint/fischer_sal_aut.007.000 | safe | 1.25 | safe | 1.12 | 0 | ? | 281.44 | -1 | ? | 1201.72 | -1 | ? | 1201.44 | -1 | - | - | - |
timed-toint/fischer_sal_aut.007.001 | safe | 134.67 | safe | 134.54 | 0 | ? | 0 | -1 | ? | 1201.97 | -1 | ? | 1201.29 | -1 | - | - | - |
timed-toint/fischer_sal_aut.007.002 | safe | 625.06 | safe | 594.11 | 0 | ? | 152.79 | -1 | ? | 1201.73 | -1 | ? | 1201.29 | -1 | - | - | - |
timed-toint/fischer_sal_aut.007.003 | safe | 9.21 | safe | 9.02 | 0 | ? | 155.44 | -1 | ? | 1201.68 | -1 | ? | 1201.43 | -1 | - | - | - |
timed-toint/fischer_sal_aut.007.004 | ? | 1201.74 | ? | 1201.81 | 0 | ? | 154.21 | 0 | ? | 1201.68 | 0 | ? | 1201.26 | 0 | - | - | - |
timed-toint/fischer_sal_aut.007.005 | ? | 1201.84 | ? | 843.41 | 0 | ? | 152.99 | 0 | ? | 1201.67 | 0 | ? | 1201.27 | 0 | - | - | - |
timed-toint/fischer_sal_aut.008.000 | safe | 1.76 | safe | 1.68 | 0 | ? | 778.86 | -1 | ? | 1201.73 | -1 | ? | 1201.45 | -1 | - | - | - |
timed-toint/fischer_sal_aut.008.001 | safe | 432.92 | safe | 429.08 | 0 | ? | 0 | -1 | ? | 1201.73 | -1 | ? | 1201.48 | -1 | - | - | - |
timed-toint/fischer_sal_aut.008.002 | ? | 1201.56 | ? | 1201.34 | 0 | ? | 373.64 | 0 | ? | 1201.75 | 0 | ? | 1201.4 | 0 | - | - | - |
timed-toint/fischer_sal_aut.008.003 | safe | 13.13 | safe | 13.21 | 0 | ? | 332.22 | -1 | ? | 1201.66 | -1 | ? | 1201.4 | -1 | - | - | - |
timed-toint/fischer_sal_aut.008.004 | ? | 1201.74 | ? | 1081.91 | 0 | ? | 342.53 | 0 | ? | 1201.74 | 0 | ? | 1201.45 | 0 | - | - | - |
timed-toint/fischer_sal_aut.008.005 | ? | 1201.55 | ? | 1202.79 | 0 | ? | 341.17 | 0 | ? | 1201.72 | 0 | ? | 1201.52 | 0 | - | - | - |
timed-toint/fischer_sal_aut.009.000 | safe | 2.3 | safe | 2.29 | 0 | ? | 0 | -1 | ? | 1201.65 | -1 | ? | 1201.38 | -1 | - | - | - |
timed-toint/fischer_sal_aut.009.001 | safe | 329.75 | safe | 329.0 | 0 | ? | 0 | -1 | ? | 1201.78 | -1 | ? | 1201.14 | -1 | - | - | - |
timed-toint/fischer_sal_aut.009.002 | safe | 771.15 | safe | 806.54 | 0 | ? | 824.63 | -1 | ? | 1201.74 | -1 | ? | 1201.14 | -1 | - | - | - |
timed-toint/fischer_sal_aut.009.003 | safe | 7.04 | safe | 6.96 | 0 | ? | 892.65 | -1 | ? | 1201.73 | -1 | ? | 1201.32 | -1 | - | - | - |
timed-toint/fischer_sal_aut.009.004 | ? | 1201.75 | ? | 1201.65 | 0 | ? | 789.87 | 0 | ? | 1201.71 | 0 | ? | 1201.38 | 0 | - | - | - |
timed-toint/fischer_sal_aut.009.005 | ? | 1201.39 | ? | 1202.06 | 0 | ? | 925.28 | 0 | ? | 1201.71 | 0 | ? | 1201.22 | 0 | - | - | - |
timed-toint/fischer_sal_aut.010.000 | safe | 1.56 | safe | 1.55 | 0 | ? | 0 | -1 | ? | 1201.85 | -1 | ? | 1201.35 | -1 | - | - | - |
timed-toint/fischer_sal_aut.010.001 | safe | 156.48 | safe | 157.04 | 0 | ? | 0 | -1 | ? | 1201.66 | -1 | ? | 1201.4 | -1 | - | - | - |
timed-toint/fischer_sal_aut.010.002 | ? | 1201.72 | ? | 1201.69 | 0 | ? | 0 | 0 | ? | 1201.72 | 0 | ? | 1201.47 | 0 | - | - | - |
timed-toint/fischer_sal_aut.010.003 | safe | 8.27 | safe | 8.23 | 0 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.38 | -1 | - | - | - |
timed-toint/fischer_sal_aut.010.004 | ? | 1201.75 | ? | 1201.88 | 0 | ? | 0 | 0 | ? | 1201.69 | 0 | ? | 1201.45 | 0 | - | - | - |
timed-toint/fischer_sal_aut.010.005 | ? | 1202.06 | ? | 1201.8 | 0 | ? | 0 | 0 | ? | 1204.44 | 0 | ? | 1201.49 | 0 | - | - | - |
timed-toint/fischer_sal_aut.011.000 | safe | 1.65 | safe | 1.63 | 0 | ? | 0 | -1 | ? | 1201.66 | -1 | ? | 1201.63 | -1 | - | - | - |
timed-toint/fischer_sal_aut.011.001 | safe | 272.15 | safe | 279.55 | 0 | ? | 34.17 | -1 | ? | 1201.69 | -1 | ? | 1201.26 | -1 | - | - | - |
timed-toint/fischer_sal_aut.011.002 | ? | 1201.56 | ? | 1201.25 | 0 | ? | 0 | 0 | ? | 1201.68 | 0 | ? | 1201.26 | 0 | - | - | - |
timed-toint/fischer_sal_aut.011.003 | safe | 10.45 | safe | 10.42 | 0 | ? | 0 | -1 | ? | 1201.71 | -1 | ? | 1201.32 | -1 | - | - | - |
timed-toint/fischer_sal_aut.011.004 | ? | 1201.83 | ? | 1201.65 | 0 | ? | 0 | 0 | ? | 1201.67 | 0 | ? | 1201.26 | 0 | - | - | - |
timed-toint/fischer_sal_aut.011.005 | ? | 1201.79 | ? | 1192.24 | 0 | ? | 0 | 0 | ? | 1201.75 | 0 | ? | 1201.32 | 0 | - | - | - |
timed-toint/fischer_sal_aut.012.000 | safe | 2.14 | safe | 2.03 | 0 | ? | 0 | -1 | ? | 1201.71 | -1 | ? | 1201.27 | -1 | - | - | - |
timed-toint/fischer_sal_aut.012.001 | safe | 173.51 | safe | 173.22 | 0 | ? | 34.32 | -1 | ? | 1201.68 | -1 | ? | 1201.73 | -1 | - | - | - |
timed-toint/fischer_sal_aut.012.002 | ? | 1201.59 | ? | 1201.74 | 0 | ? | 0 | 0 | ? | 1201.71 | 0 | ? | 1201.35 | 0 | - | - | - |
timed-toint/fischer_sal_aut.012.003 | safe | 53.74 | safe | 53.61 | 0 | ? | 0 | -1 | ? | 1201.68 | -1 | ? | 1201.3 | -1 | - | - | - |
timed-toint/fischer_sal_aut.012.004 | ? | 1201.75 | ? | 1201.66 | 0 | ? | 0 | 0 | ? | 1201.7 | 0 | ? | 1201.34 | 0 | - | - | - |
timed-toint/fischer_sal_aut.012.005 | ? | 1201.73 | ? | 1201.71 | 0 | ? | 0 | 0 | ? | 1201.71 | 0 | ? | 1201.36 | 0 | - | - | - |
timed-toint/fischer_sal_aut.013.000 | safe | 2.42 | safe | 2.38 | 0 | ? | 0 | -1 | ? | 1201.72 | -1 | ? | 1201.69 | -1 | - | - | - |
timed-toint/fischer_sal_aut.013.001 | ? | 1201.74 | ? | 1201.67 | 0 | ? | 34.35 | 0 | ? | 1201.75 | 0 | ? | 1201.2 | 0 | - | - | - |
timed-toint/fischer_sal_aut.013.002 | ? | 1201.87 | ? | 1201.78 | 0 | ? | 0 | 0 | ? | 1201.76 | 0 | ? | 1201.2 | 0 | - | - | - |
timed-toint/fischer_sal_aut.013.003 | safe | 24.96 | safe | 25.17 | 0 | ? | 0 | -1 | ? | 1201.88 | -1 | ? | 1201.27 | -1 | - | - | - |
timed-toint/fischer_sal_aut.013.004 | ? | 1201.65 | ? | 1202.15 | 0 | ? | 0 | 0 | ? | 1201.7 | 0 | ? | 1201.35 | 0 | - | - | - |
timed-toint/fischer_sal_aut.013.005 | ? | 1201.62 | ? | 1201.86 | 0 | ? | 0 | 0 | ? | 1201.66 | 0 | ? | 1201.19 | 0 | - | - | - |
timed-toint/fischer_sal_aut.014.000 | safe | 2.42 | safe | 2.4 | 0 | ? | 0 | -1 | ? | 1201.75 | -1 | ? | 1201.35 | -1 | - | - | - |
timed-toint/fischer_sal_aut.014.001 | safe | 922.08 | safe | 933.48 | 0 | ? | 0.58 | -1 | ? | 1201.74 | -1 | ? | 1201.69 | -1 | - | - | - |
timed-toint/fischer_sal_aut.014.002 | ? | 1202.01 | ? | 1202.09 | 0 | ? | 0 | 0 | ? | 1201.8 | 0 | ? | 1201.35 | 0 | - | - | - |
timed-toint/fischer_sal_aut.014.003 | safe | 43.91 | safe | 43.81 | 0 | ? | 0 | -1 | ? | 1201.74 | -1 | ? | 1201.38 | -1 | - | - | - |
timed-toint/fischer_sal_aut.014.004 | ? | 1201.82 | ? | 1201.7 | 0 | ? | 0 | 0 | ? | 1201.67 | 0 | ? | 1201.34 | 0 | - | - | - |
timed-toint/fischer_sal_aut.014.005 | ? | 1201.96 | ? | 1201.55 | 0 | ? | 0 | 0 | ? | 1201.67 | 0 | ? | 1201.37 | 0 | - | - | - |
timed-toint/fischer_sal_aut.015.000 | safe | 2.91 | safe | 2.84 | 0 | ? | 0 | -1 | ? | 1201.65 | -1 | ? | 1201.79 | -1 | - | - | - |
timed-toint/fischer_sal_aut.015.001 | safe | 570.96 | safe | 553.2 | 0 | ? | 0.53 | -1 | ? | 675.04 | -1 | ? | 1201.35 | -1 | - | - | - |
timed-toint/fischer_sal_aut.015.002 | ? | 1201.35 | ? | 1201.9 | 0 | ? | 0 | 0 | ? | 1201.69 | 0 | ? | 1201.35 | 0 | - | - | - |
timed-toint/fischer_sal_aut.015.003 | safe | 18.62 | safe | 18.46 | 0 | ? | 0 | -1 | ? | 1201.65 | -1 | ? | 1201.76 | -1 | - | - | - |
timed-toint/fischer_sal_aut.015.004 | ? | 1201.61 | ? | 1201.49 | 0 | ? | 0 | 0 | ? | 1089.27 | 0 | ? | 1201.31 | 0 | - | - | - |
timed-toint/fischer_sal_aut.015.005 | ? | 1201.79 | ? | 1201.63 | 0 | ? | 0 | 0 | ? | 1123.37 | 0 | ? | 1201.26 | 0 | - | - | - |
timed-toint/hddi.002.000 | safe | 55.63 | safe | 56.26 | 0 | ? | 5.39 | -1 | ? | 1201.68 | -1 | ? | 1201.58 | -1 | - | - | - |
timed-toint/hddi.002.001 | safe | 76.78 | safe | 76.33 | 0 | ? | 5.4 | -1 | ? | 1201.66 | -1 | ? | 1201.8 | -1 | - | - | - |
timed-toint/hddi.002.002 | safe | 70.99 | safe | 70.8 | 0 | ? | 5.33 | -1 | ? | 1201.69 | -1 | ? | 1201.83 | -1 | - | - | - |
timed-toint/hddi.002.003 | ? | 1201.56 | ? | 1201.51 | 0 | ? | 0 | 0 | ? | 1201.68 | 0 | ? | 1201.78 | 0 | - | - | - |
timed-toint/hddi.003.000 | safe | 993.63 | safe | 995.67 | 0 | ? | 8.24 | -1 | ? | 1201.66 | -1 | ? | 1201.49 | -1 | - | - | - |
timed-toint/hddi.003.001 | safe | 399.54 | safe | 388.05 | 0 | ? | 8.12 | -1 | ? | 1201.68 | -1 | ? | 1201.71 | -1 | - | - | - |
timed-toint/hddi.003.002 | safe | 387.79 | safe | 375.84 | 0 | ? | 8.15 | -1 | ? | 1201.7 | -1 | ? | 1201.44 | -1 | - | - | - |
timed-toint/hddi.003.003 | ? | 1201.65 | ? | 1201.9 | 0 | ? | 0 | 0 | ? | 1201.72 | 0 | ? | 1201.48 | 0 | - | - | - |
timed-toint/hddi.004.000 | ? | 1201.79 | ? | 1201.72 | 0 | ? | 19.16 | 0 | ? | 1201.71 | 0 | ? | 1201.48 | 0 | - | - | - |
timed-toint/hddi.004.001 | ? | 1201.91 | ? | 1201.88 | 0 | ? | 19.24 | 0 | ? | 1201.72 | 0 | ? | 1201.4 | 0 | - | - | - |
timed-toint/hddi.004.002 | ? | 1201.72 | ? | 1201.74 | 0 | ? | 19.59 | 0 | ? | 0 | 0 | ? | 1201.3 | 0 | - | - | - |
timed-toint/hddi.004.003 | ? | 1201.42 | ? | 1201.57 | 0 | ? | 0 | 0 | ? | 1201.71 | 0 | ? | 1201.24 | 0 | - | - | - |
timed-toint/hddi.005.000 | ? | 1202.83 | ? | 1201.53 | 0 | ? | 44.17 | 0 | ? | 1201.72 | 0 | ? | 1201.21 | 0 | - | - | - |
timed-toint/hddi.005.001 | ? | 1201.88 | ? | 1201.56 | 0 | ? | 44.43 | 0 | ? | 1201.74 | 0 | ? | 1201.57 | 0 | - | - | - |
timed-toint/hddi.005.002 | ? | 1201.67 | ? | 1201.68 | 0 | ? | 45.27 | 0 | ? | 1201.76 | 0 | ? | 1201.27 | 0 | - | - | - |
timed-toint/hddi.005.003 | ? | 1201.91 | ? | 1201.74 | 0 | ? | 0 | 0 | ? | 1201.75 | 0 | ? | 1201.29 | 0 | - | - | - |
timed-toint/hddi.006.000 | ? | 1201.72 | ? | 1201.55 | 0 | ? | 141.41 | 0 | ? | 1201.66 | 0 | ? | 1202.05 | 0 | - | - | - |
timed-toint/hddi.006.001 | ? | 1201.99 | ? | 1201.72 | 0 | ? | 145.57 | 0 | ? | 1201.72 | 0 | ? | 1201.42 | 0 | - | - | - |
timed-toint/hddi.006.002 | ? | 1201.81 | ? | 1201.64 | 0 | ? | 141.48 | 0 | ? | 1201.71 | 0 | ? | 1201.52 | 0 | - | - | - |
timed-toint/hddi.006.003 | ? | 1202.15 | ? | 1201.95 | 0 | ? | 0 | 0 | ? | 1201.75 | 0 | ? | 1201.2 | 0 | - | - | - |
timed-toint/hddi.007.000 | ? | 1201.3 | ? | 1201.87 | 0 | ? | 295.86 | 0 | ? | 1201.72 | 0 | ? | 1201.2 | 0 | - | - | - |
timed-toint/hddi.007.001 | ? | 1201.91 | ? | 1201.95 | 0 | ? | 298.87 | 0 | ? | 1201.75 | 0 | ? | 1201.33 | 0 | - | - | - |
timed-toint/hddi.007.002 | ? | 1202.0 | ? | 1201.77 | 0 | ? | 299.22 | 0 | ? | 1201.67 | 0 | ? | 1201.51 | 0 | - | - | - |
timed-toint/hddi.007.003 | ? | 1201.61 | ? | 1201.53 | 0 | ? | 0 | 0 | ? | 1201.72 | 0 | ? | 1201.4 | 0 | - | - | - |
timed-toint/hddi.008.000 | ? | 1201.72 | ? | 1201.77 | 0 | ? | 620.46 | 0 | ? | 1201.74 | 0 | ? | 1201.24 | 0 | - | - | - |
timed-toint/hddi.008.001 | ? | 1202.19 | ? | 1201.65 | 0 | ? | 631.04 | 0 | ? | 1201.72 | 0 | ? | 1201.38 | 0 | - | - | - |
timed-toint/hddi.008.002 | ? | 1201.46 | ? | 1202.81 | 0 | ? | 624.65 | 0 | ? | 1201.76 | 0 | ? | 1201.44 | 0 | - | - | - |
timed-toint/hddi.008.003 | ? | 1201.43 | ? | 1201.7 | 0 | ? | 0 | 0 | ? | 1201.8 | 0 | ? | 1201.46 | 0 | - | - | - |
timed-toint/hddi.009.000 | ? | 1201.76 | ? | 1201.81 | 0 | ? | 0 | 0 | ? | 1201.73 | 0 | ? | 1201.39 | 0 | - | - | - |
timed-toint/hddi.009.001 | ? | 1201.4 | ? | 1201.7 | 0 | ? | 0 | 0 | ? | 1201.73 | 0 | ? | 1201.45 | 0 | - | - | - |
timed-toint/hddi.009.002 | ? | 1201.97 | ? | 1201.87 | 0 | ? | 0 | 0 | ? | 378.2 | 0 | ? | 1201.81 | 0 | - | - | - |
timed-toint/hddi.009.003 | ? | 1201.68 | ? | 1201.97 | 0 | ? | 0 | 0 | ? | 384.31 | 0 | ? | 1201.28 | 0 | - | - | - |
timed-toint/hddi.010.000 | ? | 1201.88 | ? | 1201.9 | 0 | ? | 0 | 0 | ? | 1201.73 | 0 | ? | 1201.15 | 0 | - | - | - |
timed-toint/hddi.010.001 | ? | 1201.88 | ? | 1201.97 | 0 | ? | 0 | 0 | ? | 1201.97 | 0 | ? | 1201.29 | 0 | - | - | - |
timed-toint/hddi.010.002 | ? | 1202.11 | ? | 1201.93 | 0 | ? | 0 | 0 | ? | 1201.77 | 0 | ? | 1201.31 | 0 | - | - | - |
timed-toint/hddi.010.003 | ? | 1201.64 | ? | 1201.8 | 0 | ? | 0 | 0 | ? | 470.97 | 0 | ? | 1201.28 | 0 | - | - | - |
timed-toint/hddi.011.000 | ? | 1201.75 | ? | 1202.02 | 0 | ? | 0 | 0 | ? | 607.39 | 0 | ? | 1201.28 | 0 | - | - | - |
timed-toint/hddi.011.001 | ? | 1201.27 | ? | 1201.82 | 0 | ? | 0 | 0 | ? | 287.14 | 0 | ? | 1201.75 | 0 | - | - | - |
timed-toint/hddi.011.002 | ? | 1202.8 | ? | 1201.87 | 0 | ? | 0 | 0 | ? | 292.04 | 0 | ? | 1201.47 | 0 | - | - | - |
timed-toint/hddi.011.003 | ? | 1201.58 | ? | 1201.95 | 0 | ? | 0 | 0 | ? | 214.52 | 0 | ? | 1201.33 | 0 | - | - | - |
timed-toint/hddi.012.000 | ? | 1201.77 | ? | 1201.89 | 0 | ? | 0 | 0 | ? | 247.76 | 0 | ? | 1201.44 | 0 | - | - | - |
timed-toint/hddi.012.001 | ? | 1201.54 | ? | 1201.59 | 0 | ? | 0 | 0 | ? | 234.77 | 0 | ? | 1201.53 | 0 | - | - | - |
timed-toint/hddi.012.002 | ? | 1202.18 | ? | 1202.11 | 0 | ? | 0 | 0 | ? | 221.33 | 0 | ? | 1200.79 | 0 | - | - | - |
timed-toint/hddi.012.003 | ? | 1201.76 | ? | 1201.23 | 0 | ? | 0 | 0 | ? | 204.86 | 0 | ? | 1201.3 | 0 | - | - | - |
timed-toint/hddi.013.000 | ? | 1201.91 | ? | 1202.02 | 0 | ? | 0 | 0 | ? | 260.69 | 0 | ? | 1201.3 | 0 | - | - | - |
timed-toint/hddi.013.001 | ? | 1202.02 | ? | 1201.76 | 0 | ? | 0 | 0 | ? | 279.54 | 0 | ? | 1201.37 | 0 | - | - | - |
timed-toint/hddi.013.002 | ? | 1202.09 | ? | 1201.86 | 0 | ? | 0 | 0 | ? | 255.76 | 0 | ? | 1201.37 | 0 | - | - | - |
timed-toint/hddi.013.003 | ? | 1201.84 | ? | 1202.0 | 0 | ? | 127.99 | 0 | ? | 218.15 | 0 | ? | 1201.3 | 0 | - | - | - |
timed-toint/hddi.014.000 | ? | 1201.69 | ? | 1201.97 | 0 | ? | 127.6 | 0 | ? | 752.54 | 0 | ? | 1201.4 | 0 | - | - | - |
timed-toint/hddi.014.001 | ? | 1201.98 | ? | 1201.74 | 0 | ? | 0 | 0 | ? | 302.56 | 0 | ? | 1200.8 | 0 | - | - | - |
timed-toint/hddi.014.002 | ? | 1201.78 | ? | 1202.12 | 0 | ? | 128.07 | 0 | ? | 299.67 | 0 | ? | 1200.61 | 0 | - | - | - |
timed-toint/hddi.014.003 | ? | 1202.16 | ? | 1201.91 | 0 | ? | 0 | 0 | ? | 252.96 | 0 | ? | 1201.41 | 0 | - | - | - |
timed-toint/hddi.015.000 | ? | 1201.9 | ? | 1201.71 | 0 | ? | 0.8 | 0 | ? | 137.46 | 0 | ? | 1201.4 | 0 | - | - | - |
timed-toint/hddi.015.001 | ? | 1202.07 | ? | 1201.66 | 0 | ? | 0.72 | 0 | ? | 181.8 | 0 | ? | 1200.57 | 0 | - | - | - |
timed-toint/hddi.015.002 | ? | 1202.13 | ? | 1201.93 | 0 | ? | 0.71 | 0 | ? | 155.01 | 0 | ? | 1200.8 | 0 | - | - | - |
timed-toint/hddi.015.003 | ? | 1201.97 | ? | 1202.07 | 0 | ? | 0.71 | 0 | ? | 151.22 | 0 | ? | 1201.31 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.002.000 | ? | 1202.16 | ? | 647.7 | 0 | ? | 23.25 | 0 | ? | 1204.07 | 0 | ? | 1201.68 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.002.001 | unsafe | 147.61 | ? | 775.29 | -1 | ? | 23.44 | -1 | ? | 1201.73 | -1 | ? | 1201.33 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.002.002 | safe | 0.05 | safe | 0.04 | 0 | safe | 28.63 | 0 | safe | 11.14 | 0 | ? | 1201.44 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.003.000 | ? | 1201.68 | ? | 1201.71 | 0 | ? | 55.23 | 0 | ? | 1204.74 | 0 | ? | 1201.39 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.003.001 | ? | 1201.41 | ? | 1201.68 | 0 | ? | 52.94 | 0 | ? | 1204.4 | 0 | ? | 1201.44 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.003.002 | safe | 0.06 | safe | 0.04 | 0 | safe | 67.05 | 0 | safe | 12.07 | 0 | ? | 1201.02 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.004.000 | ? | 1201.77 | ? | 1202.43 | 0 | ? | 102.63 | 0 | ? | 1204.73 | 0 | ? | 1201.42 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.004.001 | ? | 1201.79 | ? | 1201.49 | 0 | ? | 120.7 | 0 | ? | 1201.75 | 0 | ? | 1201.33 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.004.002 | safe | 0.16 | safe | 0.04 | 0 | safe | 134.98 | 0 | safe | 16.32 | 0 | ? | 1201.31 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.005.000 | ? | 1202.05 | ? | 1201.59 | 0 | ? | 190.52 | 0 | ? | 1201.74 | 0 | ? | 1201.48 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.005.001 | ? | 1201.69 | ? | 1201.6 | 0 | ? | 207.33 | 0 | ? | 1202.0 | 0 | ? | 1201.59 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.005.002 | safe | 0.17 | safe | 0.05 | 0 | safe | 214.48 | 0 | safe | 19.28 | 0 | ? | 1201.28 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.006.000 | ? | 1201.93 | ? | 1201.8 | 0 | ? | 313.44 | 0 | ? | 1201.84 | 0 | ? | 1201.28 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.006.001 | ? | 1201.64 | ? | 1202.17 | 0 | ? | 402.0 | 0 | ? | 1204.16 | 0 | ? | 1201.38 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.006.002 | safe | 0.18 | safe | 0.05 | 0 | safe | 417.2 | 0 | safe | 15.51 | 0 | ? | 1202.08 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.007.000 | ? | 1201.86 | ? | 1201.29 | 0 | ? | 439.06 | 0 | ? | 1201.67 | 0 | ? | 1202.03 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.007.001 | ? | 1201.99 | ? | 1201.99 | 0 | ? | 521.1 | 0 | ? | 1201.77 | 0 | ? | 1201.39 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.007.002 | safe | 0.17 | safe | 0.05 | 0 | safe | 586.06 | 0 | safe | 17.25 | 0 | ? | 1201.53 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.008.000 | ? | 1201.87 | ? | 1201.38 | 0 | ? | 630.66 | 0 | ? | 1201.74 | 0 | ? | 1201.31 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.008.001 | ? | 1201.83 | ? | 1202.15 | 0 | ? | 947.7 | 0 | ? | 1201.81 | 0 | ? | 1201.37 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.008.002 | safe | 0.2 | safe | 0.05 | 0 | safe | 733.88 | 0 | safe | 18.78 | 0 | ? | 1201.18 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.009.000 | ? | 1201.82 | ? | 1201.34 | 0 | ? | 964.21 | 0 | ? | 1201.9 | 0 | ? | 1201.44 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.009.001 | ? | 1201.38 | ? | 1201.6 | 0 | ? | 0 | 0 | ? | 515.84 | 0 | ? | 1201.68 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.009.002 | safe | 0.18 | safe | 0.06 | 0 | safe | 1175.39 | 0 | safe | 20.29 | 0 | ? | 1201.28 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.010.000 | ? | 1201.65 | ? | 1201.41 | 0 | ? | 0 | 0 | ? | 1201.7 | 0 | ? | 1201.28 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.010.001 | ? | 1201.91 | ? | 1201.46 | 0 | ? | 0 | 0 | ? | 944.3 | 0 | ? | 1201.42 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.010.002 | safe | 0.19 | safe | 0.06 | 0 | ? | 0 | -1 | safe | 23.27 | 0 | ? | 1201.37 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.011.000 | ? | 1202.04 | ? | 1201.77 | 0 | ? | 0 | 0 | ? | 407.35 | 0 | ? | 1201.29 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.011.001 | ? | 1201.62 | ? | 1201.59 | 0 | ? | 0 | 0 | ? | 1204.06 | 0 | ? | 1201.39 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.011.002 | safe | 0.17 | safe | 0.06 | 0 | ? | 0 | -1 | safe | 22.93 | 0 | ? | 1201.63 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.012.000 | ? | 1201.89 | ? | 1201.59 | 0 | ? | 0 | 0 | ? | 473.31 | 0 | ? | 1201.3 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.012.001 | ? | 1201.45 | ? | 1201.63 | 0 | ? | 0 | 0 | ? | 425.44 | 0 | ? | 1201.6 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.012.002 | safe | 0.19 | safe | 0.06 | 0 | ? | 0 | -1 | safe | 26.17 | 0 | ? | 1201.43 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.013.000 | ? | 1201.84 | ? | 1202.42 | 0 | ? | 0 | 0 | ? | 363.74 | 0 | ? | 1201.33 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.013.001 | ? | 1201.95 | ? | 1201.83 | 0 | ? | 0.65 | 0 | ? | 368.73 | 0 | ? | 1200.77 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.013.002 | safe | 0.09 | safe | 0.07 | 0 | ? | 0 | -1 | safe | 28.62 | 0 | ? | 1201.24 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.014.000 | ? | 1201.71 | ? | 1201.52 | 0 | ? | 0 | 0 | ? | 252.6 | 0 | ? | 1201.24 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.014.001 | ? | 1201.41 | ? | 1201.98 | 0 | ? | 0.58 | 0 | ? | 390.81 | 0 | ? | 1201.61 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.014.002 | safe | 0.21 | safe | 0.07 | 0 | ? | 0 | -1 | safe | 29.08 | 0 | ? | 1201.41 | -1 | - | - | - |
timed-toint/lynch_mahata_aut.015.000 | ? | 1201.57 | ? | 1201.99 | 0 | ? | 0 | 0 | ? | 227.48 | 0 | ? | 1201.35 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.015.001 | ? | 1201.82 | ? | 1201.63 | 0 | ? | 0.74 | 0 | ? | 372.91 | 0 | ? | 1200.52 | 0 | - | - | - |
timed-toint/lynch_mahata_aut.015.002 | safe | 0.2 | safe | 0.07 | 0 | ? | 0 | -1 | safe | 32.17 | 0 | ? | 1201.82 | -1 | - | - | - |
# Benchmarks: 556 | total | safe | unsafe | time | total | safe | unsafe | time | delta | gained | lost | total | safe | unsafe | time | delta | gained | lost | total | safe | unsafe | time | delta | gained | lost | total | safe | unsafe | time | delta | gained | lost | total | safe | unsafe | time | delta | gained | lost |
374 | 341 | 33 | 29438.03s | 344 | 320 | 24 | 22144.02s | -30 | 1 | 31 | 21 | 21 | 0 | 8116.03s | -353 | 0 | 353 | 56 | 56 | 0 | 2113.08s | -318 | 0 | 318 | 0 | 0 | 0 | 0s | -374 | 0 | 374 | 0 | 0 | 0 | 0s | 0 | 0 | 0 |