| 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 | - | - | - |
crafted/any-down-live | safe | 1.16 | ? | 1201.83 | -1 | ? | 0 | -1 | ? | 343.25 | -1 | safe | 19.535 | 0 | - | - | - |
crafted/choice-live | safe | 14.63 | ? | 1201.83 | -1 | safe | 8.05 | 0 | ? | 346.61 | -1 | safe | 136.628 | 0 | - | - | - |
crafted/conc-whiles-live | safe | 5.03 | ? | 1201.81 | -1 | ? | 0 | -1 | ? | 215.98 | -1 | ? | 297.09 | -1 | - | - | - |
crafted/count-down-live | safe | 0.23 | ? | 1201.96 | -1 | safe | 2.37 | 0 | ? | 142.55 | -1 | safe | 78.684 | 0 | - | - | - |
crafted/count-nested-live | ? | 1201.52 | ? | 1201.83 | 0 | ? | 0 | 0 | ? | 210.97 | 0 | safe | 30.367 | +1 | - | - | - |
crafted/count-up-to-sym-live | safe | 0.23 | ? | 1201.98 | -1 | ? | 0 | -1 | safe | 8.64 | 0 | safe | 17.934 | 0 | - | - | - |
crafted/example-fig2-live | safe | 0.34 | ? | 1201.97 | -1 | ? | 0 | -1 | ? | 32.24 | -1 | safe | 18.279 | 0 | - | - | - |
crafted/example1-live | safe | 0.31 | ? | 1201.28 | -1 | safe | 1.62 | 0 | safe | 10.5 | 0 | safe | 16.952 | 0 | - | - | - |
crafted/example2-live | safe | 0.16 | ? | 1201.93 | -1 | ? | 0 | -1 | safe | 2.59 | 0 | safe | 16.309 | 0 | - | - | - |
crafted/example3-live | safe | 0.36 | ? | 1202.02 | -1 | safe | 1.42 | 0 | safe | 140.62 | 0 | ? | 18.481 | -1 | - | - | - |
crafted/example4-live-int | safe | 0.25 | ? | 1201.91 | -1 | ? | 0 | -1 | safe | 2.81 | 0 | ? | 17.42 | -1 | - | - | - |
crafted/gothenburg-live | safe | 0.49 | ? | 1201.7 | -1 | safe | 3.2 | 0 | safe | 372.25 | 0 | safe | 51.237 | 0 | - | - | - |
crafted/loops-live | safe | 1.22 | ? | 1201.87 | -1 | ? | 0 | -1 | ? | 256.75 | -1 | ? | 320.84 | -1 | - | - | - |
crafted/parallel-live | safe | 0.31 | ? | 1201.94 | -1 | safe | 12.25 | 0 | safe | 347.41 | 0 | safe | 28.437 | 0 | - | - | - |
crafted/piecewise-live | safe | 0.63 | ? | 1201.72 | -1 | safe | 3.71 | 0 | safe | 15.85 | 0 | ? | 15.89 | -1 | - | - | - |
crafted/stabilize-live | safe | 0.53 | ? | 1201.96 | -1 | ? | 0.3 | -1 | ? | 231.74 | -1 | safe | 1.126 | 0 | - | - | - |
crafted/swap-dec-live | safe | 0.36 | ? | 1201.93 | -1 | safe | 1.73 | 0 | ? | 222.38 | -1 | safe | 1.432 | 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 | - | - | - |
ultimate-ltl/coolant/coolant_basis_1_neg | ? | 1201.83 | ? | 1201.84 | 0 | ? | 1.36 | 0 | ? | 2.1 | 0 | ? | 16.094 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_1_safe_sfty | safe | 0.9 | safe | 0.85 | 0 | ? | 1.34 | -1 | safe | 4.2 | 0 | safe | 1.607 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_1_unsafe_sfty | ? | 1202.0 | ? | 1202.74 | 0 | ? | 1.3 | 0 | unsafe | 19.03 | +1 | ? | 15.71 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_2_neg | ? | 1202.04 | ? | 1202.06 | 0 | ? | 0 | 0 | ? | 67.94 | 0 | ? | 8.155 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_2_safe_liveness | safe | 27.26 | safe | 23.07 | 0 | ? | 0 | -1 | safe | 103.85 | 0 | safe | 3.418 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_2_unsafe_liveness | unsafe | 5.12 | unsafe | 3.68 | 0 | ? | 0 | -1 | ? | 1095.66 | -1 | ? | 10.748 | -1 | - | - | - |
ultimate-ltl/coolant/coolant_basis_3_safe_sftyliveness | safe | 0.86 | safe | 0.76 | 0 | ? | 1.21 | -1 | safe | 3.28 | 0 | ? | 6.406 | -1 | - | - | - |
ultimate-ltl/coolant/coolant_basis_3_unsafe_sftyliveness | unsafe | 2.05 | unsafe | 1.98 | 0 | ? | 1.09 | -1 | ? | 63.88 | -1 | ? | 10.949 | -1 | - | - | - |
ultimate-ltl/coolant/coolant_basis_4_1_unsafe_sftyliveness | ? | 1202.69 | ? | 1202.2 | 0 | ? | 1.26 | 0 | ? | 81.69 | 0 | ? | 9.869 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_4_2_unsafe_sftyliveness | ? | 1201.83 | ? | 1202.08 | 0 | ? | 1.5 | 0 | ? | 78.72 | 0 | ? | 14.886 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_4_neg | unsafe | 0.49 | unsafe | 0.49 | 0 | ? | 0 | -1 | unsafe | 18.63 | 0 | ? | 7.335 | -1 | - | - | - |
ultimate-ltl/coolant/coolant_basis_4_safe_sftyliveness | safe | 1.25 | safe | 1.14 | 0 | ? | 1.2 | -1 | safe | 3.6 | 0 | ? | 5.035 | -1 | - | - | - |
ultimate-ltl/coolant/coolant_basis_4_unsafe_sftyliveness | ? | 1202.03 | ? | 1201.81 | 0 | ? | 1.32 | 0 | ? | 1201.8 | 0 | ? | 58.68 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_5_neg | unsafe | 0.74 | unsafe | 0.62 | 0 | ? | 1.2 | -1 | unsafe | 10.6 | 0 | ? | 0.36 | -1 | - | - | - |
ultimate-ltl/coolant/coolant_basis_5_safe_sftyliveness | safe | 1.85 | safe | 1.74 | 0 | ? | 1.12 | -1 | safe | 4.22 | 0 | ? | 0.36 | -1 | - | - | - |
ultimate-ltl/coolant/coolant_basis_5_unsafe_sftyliveness | ? | 1201.91 | ? | 1201.28 | 0 | ? | 1.19 | 0 | ? | 66.35 | 0 | ? | 0.36 | 0 | - | - | - |
ultimate-ltl/coolant/coolant_basis_6_safe_sftyliveness | safe | 2.74 | safe | 2.65 | 0 | ? | 0 | -1 | safe | 4.46 | 0 | ? | 12.953 | -1 | - | - | - |
ultimate-ltl/coolant/coolant_basis_6_unsafe_sftyliveness | ? | 1202.13 | ? | 1201.93 | 0 | ? | 0 | 0 | ? | 84.63 | 0 | ? | 7.015 | 0 | - | - | - |
ultimate-ltl/decision-predicates/01-exsec2 | safe | 0.19 | safe | 0.07 | 0 | safe | 192.67 | 0 | safe | 2.68 | 0 | safe | 0.48 | 0 | - | - | - |
ultimate-ltl/decision-predicates/02-fig8-2007 | safe | 0.54 | safe | 0.48 | 0 | ? | 0.26 | -1 | safe | 3.04 | 0 | safe | 4.61 | 0 | - | - | - |
ultimate-ltl/decision-predicates/03-toyacquirerelease | safe | 0.32 | safe | 0.21 | 0 | ? | 0.22 | -1 | safe | 3.2 | 0 | ? | 2.18 | -1 | - | - | - |
ultimate-ltl/decision-predicates/04-toylinarith1 | unsafe | 2.62 | unsafe | 2.67 | 0 | ? | 0 | -1 | unsafe | 2.6 | 0 | safe | 2.591 | ? | - | - | - |
ultimate-ltl/decision-predicates/05-toylinarith2 | safe | 23.78 | ? | 1201.88 | -1 | ? | 0 | -1 | safe | 3.1 | 0 | ? | 0.53 | -1 | - | - | - |
ultimate-ltl/decision-predicates/06-postgreSQL_strmsrv | safe | 3.94 | safe | 3.82 | 0 | ? | 0 | -1 | safe | 3.59 | 0 | ? | 26.5 | -1 | - | - | - |
ultimate-ltl/decision-predicates/07-postgreSQL_strmsrv_wbug | safe | 4.32 | safe | 4.23 | 0 | ? | 0 | -1 | safe | 3.47 | 0 | ? | 106.712 | -1 | - | - | - |
ultimate-ltl/decision-predicates/08-postgreSQL_pgarch | unsafe | 0.51 | unsafe | 0.4 | 0 | ? | 98.8 | -1 | ? | 63.1 | -1 | ? | 304.47 | -1 | - | - | - |
ultimate-ltl/decision-predicates/09-postgreSQL_dropbuf_prop1 | unsafe | 4.27 | unsafe | 2.15 | 0 | ? | 0.22 | -1 | unsafe | 21.53 | 0 | ? | 0.31 | -1 | - | - | - |
ultimate-ltl/decision-predicates/10-postgreSQL_dropbuf_prop2 | safe | 1.44 | safe | 1.44 | 0 | safe | 147.68 | 0 | safe | 14.9 | 0 | ? | 24.502 | -1 | - | - | - |
ultimate-ltl/decision-predicates/11-apache_accept_liveness | unsafe | 13.11 | unsafe | 13.17 | 0 | ? | 0.22 | -1 | ? | 140.38 | -1 | ? | 147.681 | -1 | - | - | - |
ultimate-ltl/decision-predicates/12-apache_progress | safe | 1.85 | safe | 1.85 | 0 | ? | 0.13 | -1 | safe | 3.99 | 0 | ? | 97.472 | -1 | - | - | - |
ultimate-ltl/decision-predicates/13-windows_os_frag1 | safe | 0.81 | safe | 0.71 | 0 | ? | 0.24 | -1 | safe | 38.51 | 0 | safe | 31.411 | 0 | - | - | - |
ultimate-ltl/decision-predicates/14-windows_os_frag2 | safe | 0.3 | safe | 0.29 | 0 | ? | 0 | -1 | safe | 3.07 | 0 | safe | 26.423 | 0 | - | - | - |
ultimate-ltl/decision-predicates/15-windows_os_frag2_wbug | unsafe | 0.58 | unsafe | 0.59 | 0 | ? | 0 | -1 | unsafe | 7.35 | 0 | ? | 240.145 | -1 | - | - | - |
ultimate-ltl/decision-predicates/16-windows_os_frag3 | safe | 0.1 | safe | 0.09 | 0 | safe | 88.38 | 0 | safe | 2.89 | 0 | safe | 1.243 | 0 | - | - | - |
ultimate-ltl/decision-predicates/17-windows_os_frag4_prop1 | safe | 0.38 | safe | 0.35 | 0 | ? | 0.12 | -1 | safe | 18.04 | 0 | ? | 259.729 | -1 | - | - | - |
ultimate-ltl/decision-predicates/18-windows_os_frag4_prop2 | unsafe | 6.64 | ? | 1201.35 | -1 | ? | 1.11 | -1 | unsafe | 46.05 | 0 | ? | 314.98 | -1 | - | - | - |
ultimate-ltl/decision-predicates/19-windows_os_frag5 | safe | 7.43 | ? | 1202.14 | -1 | ? | 0.53 | -1 | ? | 1204.05 | -1 | safe | 113.798 | 0 | - | - | - |
ultimate-ltl/decision-predicates/20-windows_os_frag6 | safe | 2.36 | ? | 1201.73 | -1 | ? | 0 | -1 | ? | 269.18 | -1 | ? | 4.11 | -1 | - | - | - |
ultimate-ltl/decision-predicates/21-windows_os_frag6_wbug | unsafe | 0.27 | unsafe | 0.23 | 0 | ? | 0 | -1 | unsafe | 4.69 | 0 | ? | 6.583 | -1 | - | - | - |
ultimate-ltl/decision-predicates/22-windows_os_frag7 | safe | 0.94 | ? | 1201.92 | -1 | ? | 0 | -1 | safe | 14.49 | 0 | safe | 1.965 | 0 | - | - | - |
ultimate-ltl/decision-predicates/23-windows_os_frag8 | safe | 2.14 | ? | 1201.85 | -1 | ? | 0 | -1 | ? | 890.95 | -1 | safe | 40.188 | 0 | - | - | - |
t2-ctl/P1 | safe | 1.06 | ? | 1201.99 | -1 | safe | 5.51 | 0 | safe | 3.65 | 0 | safe | 1.328 | 0 | - | - | - |
t2-ctl/P2 | safe | 0.23 | safe | 0.22 | 0 | safe | 5.61 | 0 | safe | 2.72 | 0 | safe | 1.438 | 0 | - | - | - |
t2-ctl/P3 | unsafe | 0.24 | unsafe | 0.23 | 0 | ? | 4.1 | -1 | unsafe | 7.18 | 0 | ? | 1.298 | -1 | - | - | - |
t2-ctl/P4 | safe | 0.44 | safe | 0.43 | 0 | ? | 3.03 | -1 | safe | 3.11 | 0 | ? | 0.958 | -1 | - | - | - |
t2-ctl/P5 | safe | 5.19 | ? | 1202.06 | -1 | safe | 14.48 | 0 | safe | 3.93 | 0 | safe | 0.572 | 0 | - | - | - |
t2-ctl/P6 | safe | 0.23 | safe | 0.21 | 0 | safe | 1.77 | 0 | safe | 2.92 | 0 | safe | 2.456 | 0 | - | - | - |
t2-ctl/P7 | safe | 4.28 | ? | 1203.16 | -1 | safe | 16.73 | 0 | safe | 4.5 | 0 | safe | 0.574 | 0 | - | - | - |
t2-ctl/P8 | safe | 3.42 | ? | 1201.95 | -1 | safe | 10.53 | 0 | safe | 3.83 | 0 | safe | 2.187 | 0 | - | - | - |
t2-ctl/P9 | safe | 55.39 | ? | 1201.3 | -1 | safe | 350.67 | 0 | safe | 4.79 | 0 | safe | 2.742 | 0 | - | - | - |
t2-ctl/P10 | unsafe | 21.12 | unsafe | 11.82 | 0 | ? | 427.7 | -1 | unsafe | 41.26 | 0 | ? | 11.761 | -1 | - | - | - |
t2-ctl/P11 | unsafe | 98.5 | ? | 1201.77 | -1 | ? | 0 | -1 | unsafe | 38.51 | 0 | ? | 10.024 | -1 | - | - | - |
t2-ctl/P12 | unsafe | 230.08 | unsafe | 17.27 | 0 | ? | 447.91 | -1 | ? | 96.91 | -1 | ? | 42.084 | -1 | - | - | - |
t2-ctl/P13 | ? | 1201.88 | ? | 1201.97 | 0 | ? | 0 | 0 | safe | 7.57 | +1 | safe | 0.787 | +1 | - | - | - |
t2-ctl/P14 | safe | 0.07 | safe | 0.06 | 0 | ? | 399.46 | -1 | safe | 3.58 | 0 | safe | 0.797 | 0 | - | - | - |
t2-ctl/P15 | unsafe | 19.88 | ? | 1202.13 | -1 | ? | 143.52 | -1 | ? | 155.07 | -1 | ? | 4.552 | -1 | - | - | - |
t2-ctl/P16 | safe | 0.04 | safe | 0.07 | 0 | ? | 423.67 | -1 | safe | 3.48 | 0 | safe | 4.193 | 0 | - | - | - |
t2-ctl/P17 | safe | 1.17 | ? | 1201.87 | -1 | safe | 5.73 | 0 | safe | 25.0 | 0 | safe | 1.511 | 0 | - | - | - |
t2-ctl/P18 | unsafe | 0.34 | ? | 1201.98 | -1 | ? | 1.36 | -1 | unsafe | 5.77 | 0 | ? | 5.472 | -1 | - | - | - |
t2-ctl/P19 | unsafe | 0.23 | unsafe | 0.1 | 0 | ? | 3.15 | -1 | unsafe | 12.09 | 0 | ? | 4.833 | -1 | - | - | - |
t2-ctl/P20 | unsafe | 0.28 | ? | 1202.06 | -1 | ? | 3.22 | -1 | unsafe | 12.63 | 0 | ? | 1122.45 | -1 | - | - | - |
t2-ctl/P21 | safe | 0.37 | safe | 0.3 | 0 | safe | 1.24 | 0 | safe | 2.91 | 0 | safe | 0.482 | 0 | - | - | - |
t2-ctl/P22 | unsafe | 0.14 | unsafe | 0.14 | 0 | ? | 0.86 | -1 | unsafe | 4.02 | 0 | ? | 1.044 | -1 | - | - | - |
t2-ctl/P23 | unsafe | 0.59 | ? | 1202.05 | -1 | ? | 7.74 | -1 | unsafe | 7.73 | 0 | ? | 8.409 | -1 | - | - | - |
t2-ctl/P24 | unsafe | 0.52 | ? | 1202.11 | -1 | ? | 2.79 | -1 | unsafe | 8.08 | 0 | ? | 1.49 | -1 | - | - | - |
t2-ctl/P25 | safe | 21.36 | ? | 48.57 | -1 | safe | 21.04 | 0 | safe | 11.57 | 0 | safe | 0.653 | 0 | - | - | - |
t2-ctl/P26 | safe | 1.77 | safe | 1.36 | 0 | safe | 14.49 | 0 | safe | 5.04 | 0 | ? | 0.747 | -1 | - | - | - |
t2-ctl/P27 | safe | 1.13 | safe | 0.64 | 0 | safe | 14.29 | 0 | safe | 11.89 | 0 | safe | 0.867 | 0 | - | - | - |
t2-ctl/P28 | safe | 1.61 | safe | 0.94 | 0 | safe | 25.92 | 0 | safe | 4.64 | 0 | ? | 0.69 | -1 | - | - | - |
t2-testsuite/2 | unsafe | 0.93 | ? | 1202.01 | -1 | ? | 0 | -1 | ? | 113.85 | -1 | ? | 25.007 | -1 | unsafe | 0.826 | 0 |
t2-testsuite/byron-1 | safe | 0.68 | ? | 1201.27 | -1 | ? | 0 | -1 | safe | 7.63 | 0 | safe | 1.477 | 0 | safe | 0.685 | 0 |
t2-testsuite/byron-2 | safe | 1.02 | ? | 1201.85 | -1 | safe | 7.45 | 0 | safe | 30.22 | 0 | safe | 0.971 | 0 | safe | 0.541 | 0 |
t2-testsuite/cfg | ? | 1201.91 | ? | 1201.9 | 0 | ? | 2.03 | 0 | unsafe | 4.5 | +1 | ? | 1.646 | 0 | unsafe | 0.633 | +1 |
t2-testsuite/consts1nt | ? | 1202.04 | ? | 1201.15 | 0 | ? | 0 | 0 | unsafe | 4.77 | +1 | ? | 1.531 | 0 | unsafe | 0.694 | +1 |
t2-testsuite/consts1 | safe | 0.16 | safe | 20.46 | 0 | ? | 0 | -1 | safe | 4.03 | 0 | safe | 1.208 | 0 | safe | 0.599 | 0 |
t2-testsuite/consts2nt | ? | 1202.73 | ? | 1201.81 | 0 | ? | 0.62 | 0 | ? | 33.3 | 0 | ? | 0.832 | 0 | unsafe | 0.463 | +1 |
t2-testsuite/consts2 | safe | 0.28 | ? | 1202.07 | -1 | safe | 0.7 | 0 | safe | 5.37 | 0 | safe | 0.648 | 0 | safe | 0.377 | 0 |
t2-testsuite/consts3nt | ? | 1201.78 | ? | 1202.03 | 0 | ? | 0.6 | 0 | ? | 31.98 | 0 | ? | 0.723 | 0 | unsafe | 0.462 | +1 |
t2-testsuite/consts3 | safe | 0.27 | ? | 1201.76 | -1 | safe | 0.7 | 0 | safe | 4.02 | 0 | safe | 0.615 | 0 | safe | 0.371 | 0 |
t2-testsuite/consts4nt | ? | 1201.88 | ? | 1201.85 | 0 | ? | 0.62 | 0 | ? | 33.68 | 0 | ? | 0.859 | 0 | unsafe | 0.471 | +1 |
t2-testsuite/consts4 | safe | 0.27 | ? | 1201.97 | -1 | safe | 0.71 | 0 | safe | 4.41 | 0 | safe | 0.653 | 0 | safe | 0.374 | 0 |
t2-testsuite/consts5nt | ? | 1202.08 | ? | 1201.99 | 0 | ? | 0.65 | 0 | ? | 37.09 | 0 | ? | 0.778 | 0 | unsafe | 0.486 | +1 |
t2-testsuite/consts5 | safe | 0.1 | safe | 0.09 | 0 | safe | 0.63 | 0 | safe | 2.72 | 0 | safe | 0.708 | 0 | safe | 0.398 | 0 |
t2-testsuite/create_seg | safe | 2.02 | ? | 1202.04 | -1 | ? | 0 | -1 | safe | 17.0 | 0 | ? | 300.51 | -1 | safe | 0.407 | 0 |
t2-testsuite/create_via_tmps | safe | 4.01 | ? | 1203.27 | -1 | ? | 0 | -1 | safe | 50.06 | 0 | ? | 300.7 | -1 | safe | 0.689 | 0 |
t2-testsuite/create | safe | 1.5 | ? | 1201.99 | -1 | ? | 0 | -1 | safe | 16.55 | 0 | safe | 0.953 | 0 | safe | 0.402 | 0 |
t2-testsuite/ctlstar_3 | unsafe | 0.19 | unsafe | 0.08 | 0 | ? | 1.21 | -1 | unsafe | 5.16 | 0 | ? | 0.993 | -1 | unsafe | 0.468 | 0 |
t2-testsuite/ctlstar_4 | unsafe | 5.3 | ? | 1202.04 | -1 | ? | 20.92 | -1 | unsafe | 38.32 | 0 | ? | 6.35 | -1 | unsafe | 0.752 | 0 |
t2-testsuite/ctlstar_5 | unsafe | 0.09 | unsafe | 0.09 | 0 | ? | 0.61 | -1 | unsafe | 3.44 | 0 | ? | 0.968 | -1 | unsafe | 0.44 | 0 |
t2-testsuite/ctlstar_6 | unsafe | 0.1 | unsafe | 0.12 | 0 | ? | 1.2 | -1 | unsafe | 4.52 | 0 | ? | 0.977 | -1 | unsafe | 0.461 | 0 |
t2-testsuite/ctlstar | unsafe | 0.08 | unsafe | 0.07 | 0 | ? | 1.27 | -1 | unsafe | 4.51 | 0 | ? | 1.574 | -1 | unsafe | 0.462 | 0 |
t2-testsuite/curious2 | safe | 0.05 | safe | 0.04 | 0 | safe | 0.12 | 0 | safe | 2.54 | 0 | safe | 0.455 | 0 | safe | 0.213 | 0 |
t2-testsuite/curious | unsafe | 0.06 | unsafe | 0.07 | 0 | ? | 2.18 | -1 | unsafe | 4.8 | 0 | ? | 1.23 | -1 | unsafe | 0.476 | 0 |
t2-testsuite/db | safe | 0.15 | safe | 0.16 | 0 | safe | 0.88 | 0 | safe | 3.27 | 0 | safe | 0.588 | 0 | safe | 0.37 | 0 |
t2-testsuite/defect | unsafe | 0.06 | unsafe | 0.06 | 0 | ? | 0.57 | -1 | unsafe | 2.94 | 0 | ? | 0.77 | -1 | unsafe | 0.428 | 0 |
t2-testsuite/destroy_seg_leak | unsafe | 4.9 | ? | 1202.3 | -1 | ? | 1207.12 | -1 | ? | 266.43 | -1 | ? | 113.893 | -1 | unsafe | 2.629 | 0 |
t2-testsuite/destroy_seg | safe | 6.9 | ? | 1201.93 | -1 | ? | 0 | -1 | safe | 40.33 | 0 | safe | 9.885 | 0 | safe | 1.011 | 0 |
t2-testsuite/destroy | safe | 4.44 | ? | 1202.01 | -1 | ? | 0 | -1 | safe | 31.76 | 0 | ? | 301.05 | -1 | safe | 0.714 | 0 |
t2-testsuite/disj_nightmare | safe | 0.26 | safe | 0.16 | 0 | safe | 138.61 | 0 | safe | 11.54 | 0 | safe | 246.114 | 0 | safe | 11.693 | 0 |
t2-testsuite/eric1 | ? | 1201.65 | ? | 1201.82 | 0 | ? | 0 | 0 | ? | 0 | 0 | safe | 2.766 | +1 | safe | 2.898 | +1 |
t2-testsuite/eric3 | ? | 1201.83 | ? | 1201.97 | 0 | ? | 0 | 0 | unsafe | 63.35 | +1 | ? | 2.488 | 0 | unsafe | 0.523 | +1 |
t2-testsuite/example10 | unsafe | 0.09 | unsafe | 0.08 | 0 | ? | 1.61 | -1 | unsafe | 3.46 | 0 | ? | 0.913 | -1 | unsafe | 0.45 | 0 |
t2-testsuite/example9 | unsafe | 0.55 | ? | 1202.06 | -1 | ? | 3.85 | -1 | unsafe | 5.52 | 0 | ? | 1.164 | -1 | unsafe | 0.473 | 0 |
t2-testsuite/flipflop | unsafe | 0.08 | unsafe | 0.07 | 0 | ? | 0.6 | -1 | ? | 9.4 | -1 | ? | 0.713 | -1 | unsafe | 0.456 | 0 |
t2-testsuite/fun10 | unsafe | 1.27 | unsafe | 1.24 | 0 | ? | 0.21 | -1 | ? | 886.59 | -1 | ? | 123.362 | -1 | unsafe | 6.295 | 0 |
t2-testsuite/fun11 | ? | 1201.65 | ? | 1202.17 | 0 | ? | 0 | 0 | ? | 81.79 | 0 | ? | 1.859 | 0 | ? | 0.974 | 0 |
t2-testsuite/fun1 | unsafe | 2.69 | ? | 1202.14 | -1 | ? | 72.92 | -1 | ? | 169.09 | -1 | ? | 56.662 | -1 | unsafe | 42.973 | 0 |
t2-testsuite/fun2 | safe | 25.91 | ? | 1201.94 | -1 | safe | 60.12 | 0 | safe | 47.69 | 0 | safe | 15.593 | 0 | safe | 1.476 | 0 |
t2-testsuite/fun4 | safe | 1.76 | safe | 1.48 | 0 | safe | 31.9 | 0 | safe | 24.13 | 0 | safe | 3.228 | 0 | safe | 3.291 | 0 |
t2-testsuite/fun6 | unsafe | 2.01 | ? | 1201.31 | -1 | ? | 27.95 | -1 | ? | 154.39 | -1 | ? | 108.899 | -1 | unsafe | 2.941 | 0 |
t2-testsuite/fun7 | unsafe | 0.26 | unsafe | 0.26 | 0 | ? | 12.63 | -1 | ? | 506.33 | -1 | ? | 13.689 | -1 | unsafe | 0.855 | 0 |
t2-testsuite/fun9 | ? | 1202.03 | ? | 1201.99 | 0 | ? | 1123.79 | 0 | ? | 196.35 | 0 | ? | 311.66 | 0 | unsafe | 1.404 | +1 |
t2-testsuite/heidy10 | safe | 0.61 | ? | 1201.34 | -1 | safe | 3.14 | 0 | safe | 12.53 | 0 | safe | 0.882 | 0 | safe | 0.39 | 0 |
t2-testsuite/heidy1 | ? | 1201.51 | ? | 1201.19 | 0 | ? | 0 | 0 | unsafe | 3.58 | +1 | ? | 0.815 | 0 | unsafe | 0.447 | +1 |
t2-testsuite/heidy2 | unsafe | 0.26 | ? | 1201.86 | -1 | ? | 7.61 | -1 | unsafe | 25.15 | 0 | ? | 1.484 | -1 | unsafe | 0.456 | 0 |
t2-testsuite/heidy3 | unsafe | 0.25 | unsafe | 0.13 | 0 | ? | 2.84 | -1 | unsafe | 5.86 | 0 | ? | 0.967 | -1 | unsafe | 0.471 | 0 |
t2-testsuite/heidy5 | safe | 0.95 | ? | 1201.95 | -1 | safe | 5.27 | 0 | safe | 3.44 | 0 | safe | 0.78 | 0 | safe | 0.367 | 0 |
t2-testsuite/heidy6 | unsafe | 0.8 | ? | 1201.83 | -1 | ? | 2.35 | -1 | unsafe | 5.71 | 0 | ? | 1.244 | -1 | unsafe | 0.501 | 0 |
t2-testsuite/heidy7 | unsafe | 1.83 | ? | 1201.33 | -1 | ? | 8.13 | -1 | unsafe | 38.56 | 0 | ? | 2.087 | -1 | unsafe | 0.521 | 0 |
t2-testsuite/heidy8 | unsafe | 0.21 | unsafe | 0.1 | 0 | ? | 4.82 | -1 | unsafe | 40.67 | 0 | ? | 2.445 | -1 | unsafe | 0.537 | 0 |
t2-testsuite/heidy9 | safe | 0.78 | ? | 1202.13 | -1 | safe | 3.38 | 0 | safe | 3.37 | 0 | safe | 0.706 | 0 | safe | 0.361 | 0 |
t2-testsuite/huh | safe | 151.77 | ? | 1202.15 | -1 | ? | 0 | -1 | safe | 20.29 | 0 | safe | 3.313 | 0 | safe | 0.493 | 0 |
t2-testsuite/iecs | safe | 0.27 | ? | 1202.09 | -1 | ? | 0 | -1 | safe | 7.47 | 0 | safe | 0.699 | 0 | safe | 0.522 | 0 |
t2-testsuite/n-10 | unsafe | 0.11 | unsafe | 0.09 | 0 | ? | 1.34 | -1 | unsafe | 117.51 | 0 | ? | 1.563 | -1 | unsafe | 0.485 | 0 |
t2-testsuite/n-12a | unsafe | 0.09 | unsafe | 0.07 | 0 | ? | 0.71 | -1 | unsafe | 6.83 | 0 | ? | 0.796 | -1 | unsafe | 0.436 | 0 |
t2-testsuite/n-12 | unsafe | 0.09 | unsafe | 0.08 | 0 | ? | 0.55 | -1 | unsafe | 26.18 | 0 | ? | 1.283 | -1 | unsafe | 0.474 | 0 |
t2-testsuite/n-13 | ? | 1201.49 | ? | 1201.23 | 0 | ? | 0.54 | 0 | unsafe | 5.8 | +1 | ? | 0.736 | 0 | unsafe | 0.448 | +1 |
t2-testsuite/n-14 | unsafe | 0.12 | unsafe | 0.11 | 0 | ? | 2.94 | -1 | unsafe | 32.34 | 0 | ? | 1.52 | -1 | unsafe | 0.491 | 0 |
t2-testsuite/n-15a | unsafe | 0.08 | unsafe | 0.06 | 0 | ? | 3.84 | -1 | unsafe | 5.48 | 0 | ? | 1.338 | -1 | unsafe | 0.483 | 0 |
t2-testsuite/n-15 | ? | 1202.14 | ? | 1201.84 | 0 | ? | 0.78 | 0 | ? | 33.62 | 0 | ? | 1.427 | 0 | unsafe | 0.534 | +1 |
t2-testsuite/n-16a | unsafe | 0.07 | unsafe | 0.1 | 0 | ? | 0.71 | -1 | ? | 35.17 | -1 | ? | 0.891 | -1 | unsafe | 0.457 | 0 |
t2-testsuite/n-16 | ? | 1201.55 | ? | 1201.81 | 0 | ? | 0.54 | 0 | ? | 33.42 | 0 | ? | 1.823 | 0 | unsafe | 0.526 | +1 |
t2-testsuite/n-17 | ? | 1201.45 | ? | 1201.87 | 0 | ? | 0.52 | 0 | ? | 31.83 | 0 | ? | 2.074 | 0 | unsafe | 0.472 | +1 |
t2-testsuite/n-18a | unsafe | 0.07 | unsafe | 0.06 | 0 | ? | 1.79 | -1 | ? | 35.91 | -1 | ? | 2.108 | -1 | unsafe | 0.462 | 0 |
t2-testsuite/n-18 | ? | 1201.46 | ? | 1201.24 | 0 | ? | 0.52 | 0 | ? | 33.81 | 0 | ? | 0.842 | 0 | unsafe | 0.467 | +1 |
t2-testsuite/n-1c | unsafe | 0.19 | unsafe | 0.08 | 0 | ? | 1.21 | -1 | unsafe | 111.27 | 0 | ? | 1.214 | -1 | unsafe | 0.495 | 0 |
t2-testsuite/n-1d | unsafe | 0.07 | unsafe | 0.1 | 0 | ? | 0.63 | -1 | unsafe | 29.43 | 0 | ? | 1.038 | -1 | unsafe | 0.493 | 0 |
t2-testsuite/n-1 | unsafe | 0.08 | unsafe | 0.08 | 0 | ? | 4.17 | -1 | unsafe | 136.92 | 0 | ? | 1.747 | -1 | unsafe | 0.494 | 0 |
t2-testsuite/n-20 | unsafe | 0.74 | ? | 1202.08 | -1 | ? | 1.86 | -1 | ? | 151.87 | -1 | ? | 0.917 | -1 | unsafe | 0.506 | 0 |
t2-testsuite/n-21 | ? | 1201.14 | ? | 1201.78 | 0 | ? | 2.16 | 0 | unsafe | 9.83 | +1 | ? | 1.282 | 0 | unsafe | 0.513 | +1 |
t2-testsuite/n-32 | unsafe | 0.08 | unsafe | 0.07 | 0 | ? | 1.66 | -1 | unsafe | 9.29 | 0 | ? | 2.687 | -1 | unsafe | 0.448 | 0 |
t2-testsuite/n-33 | unsafe | 0.23 | unsafe | 0.12 | 0 | ? | 0.56 | -1 | unsafe | 10.41 | 0 | ? | 1.588 | -1 | unsafe | 0.473 | 0 |
t2-testsuite/n-36 | unsafe | 0.28 | unsafe | 0.17 | 0 | ? | 0.76 | -1 | unsafe | 123.2 | 0 | ? | 1.844 | -1 | unsafe | 0.532 | 0 |
t2-testsuite/n-37 | ? | 1201.15 | ? | 1203.08 | 0 | ? | 0 | 0 | ? | 73.27 | 0 | ? | 2.123 | 0 | unsafe | 0.477 | +1 |
t2-testsuite/n-3a | unsafe | 0.07 | unsafe | 0.07 | 0 | ? | 2.35 | -1 | unsafe | 30.23 | 0 | ? | 1.774 | -1 | unsafe | 0.525 | 0 |
t2-testsuite/n-3 | ? | 1201.38 | ? | 1201.82 | 0 | ? | 1.68 | 0 | ? | 47.92 | 0 | ? | 0.892 | 0 | unsafe | 0.54 | +1 |
t2-testsuite/n-40 | ? | 1201.73 | ? | 1202.09 | 0 | ? | 29.11 | 0 | unsafe | 8.57 | +1 | ? | 10.432 | 0 | unsafe | 0.643 | +1 |
t2-testsuite/n-46 | ? | 1201.82 | ? | 1201.24 | 0 | ? | 0 | 0 | ? | 36.62 | 0 | safe | 0.829 | +1 | unsafe | 0.444 | +1 |
t2-testsuite/n-48 | ? | 1202.14 | ? | 1202.0 | 0 | ? | 2.02 | 0 | ? | 49.06 | 0 | ? | 1.251 | 0 | unsafe | 0.486 | +1 |
t2-testsuite/n-4 | unsafe | 0.26 | unsafe | 0.15 | 0 | ? | 11.32 | -1 | unsafe | 18.23 | 0 | ? | 12.94 | -1 | unsafe | 0.993 | 0 |
t2-testsuite/n-5 | unsafe | 0.66 | ? | 1201.22 | -1 | ? | 10.08 | -1 | unsafe | 72.32 | 0 | ? | 16.908 | -1 | unsafe | 1.118 | 0 |
t2-testsuite/n-6a | unsafe | 0.18 | unsafe | 0.07 | 0 | ? | 4.67 | -1 | unsafe | 49.94 | 0 | ? | 0.928 | -1 | unsafe | 0.594 | 0 |
t2-testsuite/n-6 | ? | 1202.89 | ? | 1201.86 | 0 | ? | 0.54 | 0 | ? | 37.8 | 0 | ? | 0.977 | 0 | unsafe | 0.483 | +1 |
t2-testsuite/n-7 | ? | 1201.88 | ? | 1202.0 | 0 | ? | 7.02 | 0 | ? | 41.15 | 0 | ? | 1.476 | 0 | unsafe | 0.514 | +1 |
t2-testsuite/n-8a | unsafe | 0.09 | unsafe | 0.07 | 0 | ? | 0.54 | -1 | unsafe | 65.46 | 0 | ? | 0.918 | -1 | unsafe | 0.471 | 0 |
t2-testsuite/n-8 | unsafe | 0.08 | unsafe | 0.09 | 0 | ? | 1.09 | -1 | unsafe | 70.25 | 0 | ? | 1.972 | -1 | unsafe | 0.487 | 0 |
t2-testsuite/n-9 | unsafe | 0.09 | unsafe | 0.1 | 0 | ? | 1.18 | -1 | ? | 104.14 | -1 | ? | 1.655 | -1 | unsafe | 0.486 | 0 |
t2-testsuite/nested2 | ? | 1202.57 | ? | 1201.86 | 0 | ? | 1706.52 | 0 | ? | 1201.98 | 0 | safe | 1.089 | +1 | safe | 0.449 | +1 |
t2-testsuite/p-10 | unsafe | 0.1 | unsafe | 0.08 | 0 | ? | 1.91 | -1 | unsafe | 100.55 | 0 | ? | 0.886 | -1 | unsafe | 0.484 | 0 |
t2-testsuite/p-12 | safe | 0.41 | ? | 1201.15 | -1 | safe | 1.4 | 0 | safe | 3.36 | 0 | safe | 0.671 | 0 | safe | 0.364 | 0 |
t2-testsuite/p-13 | safe | 0.05 | safe | 0.04 | 0 | ? | 0.34 | -1 | safe | 2.67 | 0 | safe | 0.546 | 0 | safe | 0.21 | 0 |
t2-testsuite/p-14 | safe | 0.3 | ? | 1201.83 | -1 | safe | 1.78 | 0 | safe | 3.49 | 0 | safe | 0.596 | 0 | safe | 0.364 | 0 |
t2-testsuite/p-15 | safe | 0.55 | ? | 1201.86 | -1 | safe | 2.07 | 0 | safe | 3.2 | 0 | safe | 0.599 | 0 | safe | 0.358 | 0 |
t2-testsuite/p-16 | safe | 0.54 | ? | 1201.88 | -1 | safe | 2.05 | 0 | safe | 3.4 | 0 | safe | 0.646 | 0 | safe | 0.363 | 0 |
t2-testsuite/p-18 | safe | 0.66 | ? | 1202.0 | -1 | safe | 1.37 | 0 | safe | 3.2 | 0 | safe | 0.677 | 0 | safe | 0.358 | 0 |
t2-testsuite/p-1b | safe | 0.32 | ? | 1201.31 | -1 | safe | 2.12 | 0 | safe | 3.41 | 0 | safe | 0.687 | 0 | safe | 0.361 | 0 |
t2-testsuite/p-1d | safe | 0.38 | ? | 1201.4 | -1 | safe | 8.66 | 0 | safe | 4.21 | 0 | safe | 0.918 | 0 | safe | 0.375 | 0 |
t2-testsuite/p-1 | unsafe | 0.1 | unsafe | 0.08 | 0 | ? | 1.68 | -1 | unsafe | 130.5 | 0 | ? | 0.975 | -1 | unsafe | 0.482 | 0 |
t2-testsuite/p-20 | unsafe | 0.16 | unsafe | 0.16 | 0 | ? | 2.43 | -1 | unsafe | 79.74 | 0 | ? | 1.095 | -1 | unsafe | 0.482 | 0 |
t2-testsuite/p-21 | safe | 1.34 | ? | 1202.91 | -1 | safe | 4.45 | 0 | safe | 4.32 | 0 | safe | 0.924 | 0 | safe | 0.419 | 0 |
t2-testsuite/p-22 | safe | 0.36 | ? | 1201.15 | -1 | safe | 1.96 | 0 | safe | 3.96 | 0 | safe | 1.525 | 0 | safe | 0.368 | 0 |
t2-testsuite/p-32 | unsafe | 0.08 | unsafe | 0.07 | 0 | ? | 1.61 | -1 | unsafe | 9.52 | 0 | ? | 3.045 | -1 | unsafe | 0.455 | 0 |
t2-testsuite/p-33 | unsafe | 0.08 | unsafe | 0.07 | 0 | ? | 1.87 | -1 | unsafe | 9.44 | 0 | ? | 1.495 | -1 | unsafe | 0.46 | 0 |
t2-testsuite/p-34 | unsafe | 0.2 | unsafe | 0.21 | 0 | ? | 1.8 | -1 | unsafe | 160.44 | 0 | ? | 1.541 | -1 | unsafe | 0.514 | 0 |
t2-testsuite/p-36 | unsafe | 0.13 | unsafe | 0.13 | 0 | ? | 1.33 | -1 | unsafe | 222.68 | 0 | ? | 3.153 | -1 | unsafe | 0.509 | 0 |
t2-testsuite/p-37 | safe | 0.51 | safe | 0.47 | 0 | safe | 27.34 | 0 | safe | 15.91 | 0 | safe | 1.053 | 0 | safe | 0.378 | 0 |
t2-testsuite/p-3 | safe | 0.42 | ? | 1201.99 | -1 | safe | 5.67 | 0 | safe | 3.82 | 0 | safe | 0.67 | 0 | safe | 0.364 | 0 |
t2-testsuite/p-40 | ? | 1201.22 | ? | 1201.8 | 0 | safe | 3.13 | +1 | safe | 3.42 | +1 | safe | 0.818 | +1 | safe | 0.374 | +1 |
t2-testsuite/p-41 | safe | 0.05 | safe | 0.04 | 0 | ? | 0.35 | -1 | safe | 2.66 | 0 | safe | 0.61 | 0 | safe | 0.203 | 0 |
t2-testsuite/p-42 | safe | 1.38 | ? | 1201.91 | -1 | safe | 2.81 | 0 | safe | 3.96 | 0 | safe | 0.661 | 0 | safe | 0.358 | 0 |
t2-testsuite/p-43 | safe | 0.44 | ? | 1201.12 | -1 | safe | 11.59 | 0 | safe | 25.51 | 0 | safe | 2.367 | 0 | safe | 2.033 | 0 |
t2-testsuite/p-44 | safe | 0.48 | ? | 1202.11 | -1 | safe | 2.63 | 0 | safe | 3.99 | 0 | safe | 0.637 | 0 | safe | 0.372 | 0 |
t2-testsuite/p-45 | safe | 0.79 | ? | 1201.95 | -1 | safe | 2.51 | 0 | safe | 16.11 | 0 | safe | 2.073 | 0 | safe | 0.371 | 0 |
t2-testsuite/p-46 | unsafe | 0.17 | unsafe | 0.14 | 0 | ? | 10.06 | -1 | ? | 387.28 | -1 | ? | 5.733 | -1 | ? | 5.187 | -1 |
t2-testsuite/p-49 | safe | 0.35 | ? | 1201.83 | -1 | safe | 2.38 | 0 | safe | 3.88 | 0 | safe | 0.619 | 0 | safe | 0.367 | 0 |
t2-testsuite/p-4 | safe | 2.0 | ? | 1201.94 | -1 | safe | 3.73 | 0 | safe | 5.22 | 0 | safe | 1.07 | 0 | safe | 0.399 | 0 |
t2-testsuite/p-52 | unsafe | 0.09 | unsafe | 0.08 | 0 | ? | 0.73 | -1 | unsafe | 48.76 | 0 | ? | 0.797 | -1 | unsafe | 0.473 | 0 |
t2-testsuite/p-53 | safe | 0.14 | safe | 0.12 | 0 | safe | 2.67 | 0 | safe | 2.8 | 0 | safe | 0.631 | 0 | safe | 0.213 | 0 |
t2-testsuite/p-55 | safe | 0.79 | ? | 1201.83 | -1 | safe | 7.59 | 0 | safe | 5.56 | 0 | safe | 0.948 | 0 | safe | 0.405 | 0 |
t2-testsuite/p-56 | safe | 0.52 | ? | 1201.92 | -1 | safe | 4.37 | 0 | safe | 3.71 | 0 | safe | 0.976 | 0 | safe | 0.401 | 0 |
t2-testsuite/p-58 | safe | 0.18 | safe | 0.12 | 0 | safe | 0.49 | 0 | safe | 2.94 | 0 | safe | 0.519 | 0 | safe | 0.359 | 0 |
t2-testsuite/p-5 | unsafe | 0.67 | ? | 1202.21 | -1 | ? | 10.52 | -1 | unsafe | 72.47 | 0 | ? | 16.922 | -1 | unsafe | 1.113 | 0 |
t2-testsuite/p-60 | ? | 1201.88 | safe | 26.39 | +1 | ? | 0 | 0 | safe | 3.56 | +1 | safe | 0.742 | +1 | safe | 0.382 | +1 |
t2-testsuite/p-61 | ? | 1201.94 | ? | 1201.29 | 0 | ? | 0 | 0 | safe | 3.58 | +1 | safe | 0.734 | +1 | safe | 0.388 | +1 |
t2-testsuite/p-63 | safe | 0.76 | ? | 1201.84 | -1 | ? | 0 | -1 | safe | 15.25 | 0 | safe | 1.277 | 0 | safe | 0.534 | 0 |
t2-testsuite/p-6 | safe | 0.36 | ? | 1201.72 | -1 | safe | 7.86 | 0 | safe | 4.2 | 0 | safe | 0.911 | 0 | safe | 0.381 | 0 |
t2-testsuite/p-7b | safe | 0.86 | ? | 1201.91 | -1 | safe | 5.93 | 0 | safe | 4.6 | 0 | safe | 0.678 | 0 | safe | 0.375 | 0 |
t2-testsuite/p-7 | safe | 0.87 | ? | 1201.13 | -1 | safe | 9.02 | 0 | safe | 4.32 | 0 | safe | 0.839 | 0 | safe | 0.397 | 0 |
t2-testsuite/p-8 | unsafe | 0.08 | unsafe | 0.07 | 0 | ? | 1.73 | -1 | ? | 98.0 | -1 | ? | 0.957 | -1 | unsafe | 0.462 | 0 |
t2-testsuite/p-9 | unsafe | 0.09 | unsafe | 0.07 | 0 | ? | 1.7 | -1 | ? | 100.5 | -1 | ? | 0.928 | -1 | unsafe | 0.459 | 0 |
t2-testsuite/pgarch | unsafe | 59.52 | ? | 1202.24 | -1 | ? | 1.27 | -1 | ? | 0 | -1 | ? | 227.37 | -1 | unsafe | 49.716 | 0 |
t2-testsuite/polyrank1 | safe | 0.55 | ? | 1201.88 | -1 | ? | 0.59 | -1 | safe | 11.28 | 0 | ? | 0.922 | -1 | safe | 0.557 | 0 |
t2-testsuite/polyrank2 | safe | 32.23 | ? | 1201.89 | -1 | ? | 0.66 | -1 | safe | 4.0 | 0 | ? | 1.092 | -1 | safe | 0.591 | 0 |
t2-testsuite/polyrank3 | safe | 5.94 | ? | 1201.86 | -1 | ? | 0.53 | -1 | ? | 0 | -1 | ? | 0.985 | -1 | safe | 0.752 | 0 |
t2-testsuite/polyrank4 | ? | 1201.85 | ? | 1201.05 | 0 | ? | 0.53 | 0 | ? | 381.0 | 0 | ? | 1.055 | 0 | safe | 1.002 | +1 |
t2-testsuite/polyrank5 | ? | 1203.02 | ? | 1202.09 | 0 | ? | 0.53 | 0 | safe | 5.69 | +1 | ? | 1.017 | 0 | safe | 1.368 | +1 |
t2-testsuite/polyrank6 | safe | 1.46 | ? | 1201.97 | -1 | ? | 1.78 | -1 | safe | 16.91 | 0 | ? | 1.668 | -1 | safe | 0.593 | 0 |
t2-testsuite/polyrank7 | ? | 1202.68 | ? | 1202.2 | 0 | ? | 0.55 | 0 | ? | 34.55 | 0 | ? | 1.163 | 0 | unsafe | 0.438 | +1 |
t2-testsuite/print | safe | 15.82 | ? | 1201.8 | -1 | ? | 0 | -1 | safe | 78.83 | 0 | safe | 45.556 | 0 | safe | 2.597 | 0 |
t2-testsuite/refine_disj_problem | ? | 1201.91 | ? | 1201.84 | 0 | ? | 2.46 | 0 | ? | 40.21 | 0 | ? | 1.532 | 0 | unsafe | 0.482 | +1 |
t2-testsuite/reverse_div4 | unsafe | 0.47 | unsafe | 0.46 | 0 | ? | 269.47 | -1 | ? | 217.54 | -1 | ? | 68.108 | -1 | unsafe | 1.534 | 0 |
t2-testsuite/reverse_seg_cyclic | safe | 70.67 | ? | 1202.07 | -1 | ? | 0 | -1 | safe | 36.39 | 0 | safe | 18.644 | 0 | safe | 1.79 | 0 |
t2-testsuite/reverse | safe | 123.81 | ? | 1201.32 | -1 | ? | 0 | -1 | safe | 42.77 | 0 | safe | 49.843 | 0 | safe | 4.693 | 0 |
t2-testsuite/rev_nt2 | unsafe | 0.27 | unsafe | 0.26 | 0 | ? | 32.69 | -1 | ? | 155.03 | -1 | ? | 94.872 | -1 | unsafe | 0.809 | 0 |
t2-testsuite/rewrite | unsafe | 0.08 | unsafe | 0.06 | 0 | ? | 0.68 | -1 | ? | 61.28 | -1 | ? | 0.721 | -1 | unsafe | 0.46 | 0 |
t2-testsuite/s1-saved | safe | 15.54 | ? | 1201.98 | -1 | ? | 0 | -1 | safe | 40.34 | 0 | safe | 31.972 | 0 | safe | 1.827 | 0 |
t2-testsuite/seq2 | safe | 0.19 | ? | 1202.03 | -1 | safe | 0.85 | 0 | safe | 3.17 | 0 | safe | 0.624 | 0 | safe | 0.355 | 0 |
t2-testsuite/seq | safe | 0.18 | ? | 1201.86 | -1 | safe | 0.91 | 0 | safe | 3.28 | 0 | safe | 0.607 | 0 | safe | 0.367 | 0 |
t2-testsuite/simple | ? | 1201.15 | ? | 1202.05 | 0 | ? | 0.96 | 0 | unsafe | 15.8 | +1 | ? | 1.017 | 0 | unsafe | 0.528 | +1 |
t2-testsuite/small01 | safe | 0.19 | ? | 1202.0 | -1 | safe | 4.98 | 0 | safe | 3.5 | 0 | safe | 0.943 | 0 | safe | 0.388 | 0 |
t2-testsuite/small02 | ? | 1202.01 | ? | 1202.03 | 0 | ? | 7.72 | 0 | ? | 63.01 | 0 | ? | 1.089 | 0 | unsafe | 0.489 | +1 |
t2-testsuite/small03 | ? | 1201.75 | ? | 1202.19 | 0 | ? | 1248.49 | 0 | unsafe | 3.62 | +1 | ? | 0.893 | 0 | unsafe | 0.445 | +1 |
t2-testsuite/small04 | ? | 1201.87 | ? | 1202.02 | 0 | ? | 0 | 0 | unsafe | 3.75 | +1 | ? | 0.896 | 0 | unsafe | 0.438 | +1 |
t2-testsuite/small05 | ? | 1201.89 | ? | 1201.19 | 0 | ? | 0.53 | 0 | ? | 33.85 | 0 | ? | 0.774 | 0 | unsafe | 0.452 | +1 |
t2-testsuite/small06 | safe | 1.52 | ? | 1201.85 | -1 | safe | 6.21 | 0 | safe | 3.91 | 0 | safe | 0.944 | 0 | safe | 0.379 | 0 |
t2-testsuite/small07 | safe | 12.35 | ? | 1202.04 | -1 | safe | 9.72 | 0 | safe | 5.97 | 0 | safe | 1.029 | 0 | safe | 0.431 | 0 |
t2-testsuite/small08 | safe | 7.27 | ? | 1202.09 | -1 | safe | 10.73 | 0 | safe | 5.18 | 0 | safe | 1.035 | 0 | safe | 0.416 | 0 |
t2-testsuite/small09 | safe | 14.14 | ? | 1203.05 | -1 | safe | 19.45 | 0 | safe | 5.83 | 0 | safe | 1.058 | 0 | safe | 0.419 | 0 |
t2-testsuite/small10 | unsafe | 0.07 | unsafe | 0.06 | 0 | ? | 1.29 | -1 | ? | 70.94 | -1 | ? | 2.08 | -1 | unsafe | 0.502 | 0 |
t2-testsuite/small11 | unsafe | 0.07 | unsafe | 0.07 | 0 | ? | 0.95 | -1 | unsafe | 3.19 | 0 | ? | 1.065 | -1 | unsafe | 0.451 | 0 |
t2-testsuite/small12 | safe | 0.66 | ? | 1202.07 | -1 | safe | 2.48 | 0 | safe | 4.19 | 0 | safe | 0.744 | 0 | safe | 0.366 | 0 |
t2-testsuite/small13 | safe | 1.35 | ? | 1201.92 | -1 | safe | 2.26 | 0 | safe | 15.47 | 0 | safe | 0.723 | 0 | safe | 0.367 | 0 |
t2-testsuite/small14 | ? | 1201.26 | ? | 1202.14 | 0 | ? | 2.42 | 0 | ? | 87.78 | 0 | ? | 4.234 | 0 | unsafe | 0.498 | +1 |
t2-testsuite/small15 | ? | 1202.08 | ? | 1202.04 | 0 | ? | 1.56 | 0 | ? | 39.92 | 0 | ? | 1.481 | 0 | unsafe | 0.471 | +1 |
t2-testsuite/small16 | ? | 1201.86 | ? | 1201.15 | 0 | ? | 1.51 | 0 | unsafe | 36.1 | +1 | ? | 1.39 | 0 | unsafe | 0.454 | +1 |
t2-testsuite/small17 | unsafe | 0.08 | unsafe | 0.07 | 0 | ? | 1.62 | -1 | unsafe | 24.1 | 0 | ? | 1.005 | -1 | unsafe | 0.457 | 0 |
t2-testsuite/small18 | unsafe | 0.06 | unsafe | 0.07 | 0 | ? | 0.73 | -1 | unsafe | 5.14 | 0 | ? | 1.655 | -1 | unsafe | 0.502 | 0 |
t2-testsuite/small19 | safe | 1.46 | ? | 1202.01 | -1 | safe | 2.25 | 0 | safe | 5.96 | 0 | safe | 0.748 | 0 | safe | 0.404 | 0 |
t2-testsuite/small20 | safe | 1.72 | ? | 1202.27 | -1 | ? | 0 | -1 | safe | 4.84 | 0 | safe | 1.099 | 0 | safe | 0.408 | 0 |
t2-testsuite/small21 | safe | 2.87 | ? | 1202.05 | -1 | ? | 0 | -1 | safe | 5.69 | 0 | safe | 1.134 | 0 | safe | 0.447 | 0 |
t2-testsuite/small22 | unsafe | 0.09 | unsafe | 0.08 | 0 | ? | 2.33 | -1 | ? | 38.69 | -1 | ? | 2.42 | -1 | unsafe | 0.545 | 0 |
t2-testsuite/small23 | unsafe | 0.31 | ? | 1201.92 | -1 | ? | 5.0 | -1 | unsafe | 23.71 | 0 | ? | 13.55 | -1 | unsafe | 0.677 | 0 |
t2-testsuite/small24 | unsafe | 0.06 | unsafe | 0.06 | 0 | ? | 0.51 | -1 | unsafe | 5.17 | 0 | ? | 1.033 | -1 | unsafe | 0.456 | 0 |
t2-testsuite/small25 | unsafe | 0.06 | unsafe | 0.06 | 0 | ? | 0.56 | -1 | unsafe | 3.51 | 0 | ? | 0.99 | -1 | unsafe | 0.424 | 0 |
t2-testsuite/small26 | safe | 0.19 | ? | 1202.94 | -1 | safe | 0.76 | 0 | safe | 3.15 | 0 | safe | 0.647 | 0 | safe | 0.369 | 0 |
t2-testsuite/small27 | safe | 0.05 | safe | 0.04 | 0 | ? | 0.23 | -1 | safe | 2.75 | 0 | safe | 0.617 | 0 | safe | 0.417 | 0 |
t2-testsuite/small28 | safe | 0.1 | safe | 0.09 | 0 | safe | 0.76 | 0 | safe | 3.73 | 0 | safe | 0.638 | 0 | safe | 0.401 | 0 |
t2-testsuite/small29 | unsafe | 0.07 | unsafe | 0.07 | 0 | ? | 0.6 | -1 | unsafe | 8.91 | 0 | ? | 1.239 | -1 | unsafe | 0.494 | 0 |
t2-testsuite/small30 | unsafe | 0.05 | unsafe | 0.07 | 0 | ? | 0.59 | -1 | unsafe | 3.29 | 0 | ? | 1.152 | -1 | unsafe | 0.421 | 0 |
t2-testsuite/small31 | safe | 0.08 | safe | 0.04 | 0 | ? | 0.22 | -1 | safe | 2.77 | 0 | safe | 0.748 | 0 | safe | 0.346 | 0 |
t2-testsuite/small32 | safe | 0.07 | safe | 0.05 | 0 | ? | 0.24 | -1 | safe | 2.42 | 0 | safe | 0.61 | 0 | safe | 0.356 | 0 |
t2-testsuite/small33 | safe | 0.05 | safe | 0.04 | 0 | ? | 0.24 | -1 | safe | 2.84 | 0 | safe | 0.585 | 0 | safe | 0.355 | 0 |
t2-testsuite/small34 | safe | 0.17 | ? | 1202.1 | -1 | safe | 0.8 | 0 | safe | 3.55 | 0 | safe | 0.758 | 0 | safe | 0.354 | 0 |
t2-testsuite/small35 | ? | 1201.9 | ? | 1201.91 | 0 | ? | 0.55 | 0 | ? | 34.29 | 0 | ? | 1.151 | 0 | unsafe | 0.438 | +1 |
t2-testsuite/test_byron_2 | unsafe | 0.1 | unsafe | 0.08 | 0 | ? | 1.22 | -1 | unsafe | 5.28 | 0 | ? | 0.99 | -1 | unsafe | 0.449 | 0 |
t2-testsuite/traverse2 | safe | 197.05 | ? | 1201.59 | -1 | ? | 0 | -1 | safe | 85.35 | 0 | ? | 302.48 | -1 | safe | 3.014 | 0 |
t2-testsuite/traverse_seg2 | safe | 27.57 | ? | 1202.67 | -1 | ? | 0 | -1 | safe | 37.79 | 0 | safe | 30.639 | 0 | safe | 2.061 | 0 |
t2-testsuite/traverse_seg | safe | 34.58 | ? | 1202.02 | -1 | ? | 0 | -1 | safe | 49.63 | 0 | safe | 33.594 | 0 | safe | 2.815 | 0 |
t2-testsuite/traverse_twice | safe | 51.72 | ? | 1202.2 | -1 | ? | 0 | -1 | safe | 50.61 | 0 | safe | 62.074 | 0 | safe | 3.339 | 0 |
t2-testsuite/traverse | safe | 24.82 | ? | 1202.12 | -1 | ? | 0 | -1 | safe | 46.16 | 0 | safe | 28.679 | 0 | safe | 1.913 | 0 |
t2-testsuite/unsat | safe | 0.25 | safe | 0.14 | 0 | safe | 0.99 | 0 | safe | 2.8 | 0 | safe | 0.579 | 0 | safe | 0.362 | 0 |
t2-testsuite/w1 | unsafe | 0.1 | unsafe | 0.1 | 0 | ? | 0.81 | -1 | unsafe | 13.79 | 0 | ? | 0.866 | -1 | unsafe | 0.575 | 0 |
# Benchmarks: 835 | 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 |
602 | 477 | 125 | 31011.79s | 459 | 364 | 95 | 22304.35s | -143 | 2 | 145 | 97 | 97 | 0 | 9509.46s | -505 | 1 | 506 | 263 | 185 | 78 | 6936.32s | -339 | 17 | 356 | 116 | 116 | 0 | 1300.303s | -486 | 8 | 494 | 191 | 89 | 102 | 235.206s | 39 | 40 | 1 |