Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Events5 / Events5_Events5_input_values @ 79ef5fc5

History | View | Annotate | Download (2.26 KB)

1
82
2
9.371969391705193
3
0
4
78
5
8.335583693195414
6
0
7
32
8
50.331657942034106
9
0
10
61
11
68.16794778270358
12
0
13
69
14
37.40629024756795
15
0
16
13
17
18.531914858446374
18
0
19
39
20
20.042962882273972
21
1
22
24
23
44.655058042657544
24
1
25
18
26
23.388189896219103
27
0
28
11
29
26.87383883623645
30
1
31
78
32
40.19944276194586
33
1
34
45
35
68.96753320773996
36
0
37
17
38
8.523371853189365
39
1
40
78
41
5.5953502607202665
42
0
43
67
44
98.5568843228878
45
1
46
66
47
67.37981162588136
48
1
49
65
50
11.892320784597487
51
1
52
42
53
13.527170615514194
54
1
55
8
56
4.258247352496458
57
1
58
67
59
51.34823911196536
60
0
61
9
62
78.9023924636841
63
0
64
44
65
49.64070598889039
66
1
67
57
68
61.92357275635363
69
0
70
30
71
18.616659007018598
72
1
73
79
74
63.14444922032211
75
1
76
94
77
72.90667881416906
78
0
79
90
80
46.527249290307005
81
0
82
44
83
16.14452016928749
84
0
85
70
86
82.66965352601726
87
1
88
76
89
85.73410779824464
90
0
91
32
92
32.57824507526066
93
1
94
57
95
74.62311842681571
96
0
97
69
98
16.702062531763584
99
0
100
48
101
3.2552241869758136
102
1
103
93
104
56.11895956429177
105
1
106
20
107
49.34558590354848
108
0
109
69
110
33.802629495744995
111
0
112
53
113
55.72195163171728
114
1
115
6
116
13.058293889710605
117
0
118
50
119
27.196286216887145
120
1
121
29
122
67.50025119295786
123
1
124
24
125
96.27959815542614
126
0
127
63
128
22.35457514311261
129
1
130
98
131
84.52519792122337
132
0
133
13
134
80.40548139984836
135
0
136
73
137
11.38336140558872
138
0
139
75
140
7.56396604365216
141
1
142
59
143
5.6729523910150625
144
0
145
73
146
82.82253389982041
147
1
148
89
149
56.12328600664574
150
1
151
14
152
75.26996351009048
153
1
154
79
155
96.91211224322399
156
1
157
46
158
96.87520031811474
159
0
160
52
161
61.72328686514887
162
0
163
33
164
93.90964962934368
165
1
166
49
167
55.57035127727033
168
1
169
64
170
82.1623099572045
171
0
172
40
173
87.47987798538456
174
1
175
17
176
1.5122694798191394
177
0
178
39
179
79.10113469831154
180
1
181
4
182
63.958357686266744
183
0
184
12
185
14.406216923407856
186
1
187
69
188
95.86580004732438
189
0
190
31
191
23.867533034852162
192
1
193
2
194
29.974924820700522
195
0
196
89
197
2.8470977316995882
198
1
199
56
200
85.62713759095858
201
0
202
25
203
48.4048080045695
204
0
205
99
206
86.69850637926406
207
1
208
11
209
61.33051816860894
210
1
211
24
212
5.8914790348620905
213
0
214
42
215
0.9273627611684043
216
0
217
16
218
91.32038679113734
219
1
220
32
221
98.92144880938827
222
0
223
43
224
26.73658509293687
225
0
226
22
227
35.84572234329799
228
0
229
19
230
0.27418265588839974
231
1
232
58
233
58.3434082262985
234
0
235
25
236
8.25751783874834
237
1
238
38
239
69.05913750340214
240
1
241
52
242
0.39667451208285076
243
0
244
24
245
52.1335039120886
246
1
247
35
248
80.6074696472062
249
0
250
1
251
6.78944868027177
252
0
253
21
254
13.727551432920727
255
0
256
56
257
49.09653640880476
258
0
259
32
260
52.56032911935681
261
0
262
70
263
7.721839801015895
264
1
265
68
266
91.96369860027892
267
0
268
81
269
83.32379874908474
270
1
271
62
272
77.11060166194275
273
1
274
43
275
63.2180940893036
276
0
277
19
278
41.58366136129842
279
1
280
26
281
83.04220517973792
282
1
283
25
284
27.626305746146194
285
0
286
43
287
5.3680001920451526
288
1
289
82
290
45.657874940701014
291
0
292
53
293
41.55936115819868
294
0
295
78
296
63.07047220292644
297
1
298
72
299
77.64449323421631
300
1