Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Events7 / Events7_Events7_input_values @ 79ef5fc5

History | View | Annotate | Download (2.53 KB)

1
17
2
97
3
97.05029260574466
4
0
5
78
6
54
7
22.820136603278172
8
1
9
42
10
11
11
62.12420549396518
12
0
13
2
14
42
15
16.856052999314496
16
1
17
23
18
1
19
73.01997612125962
20
0
21
57
22
88
23
76.60458932341912
24
0
25
91
26
17
27
3.1555217820139814
28
0
29
21
30
71
31
73.39662161249959
32
0
33
70
34
47
35
30.032316185742037
36
0
37
47
38
44
39
95.17612222613032
40
1
41
63
42
8
43
51.38488592580689
44
1
45
64
46
68
47
72.07532351147367
48
1
49
37
50
47
51
82.67950838699821
52
1
53
40
54
36
55
47.53914177032208
56
0
57
85
58
90
59
67.34348460712332
60
0
61
4
62
79
63
44.89963654826064
64
0
65
84
66
70
67
67.79822853912482
68
0
69
68
70
95
71
3.8161944089123323
72
1
73
67
74
1
75
65.3132933559354
76
0
77
63
78
90
79
53.67865542339941
80
0
81
52
82
73
83
52.87927375317537
84
0
85
38
86
27
87
77.45146470996971
88
1
89
33
90
79
91
94.91635181010768
92
0
93
68
94
42
95
29.71708944320064
96
0
97
15
98
18
99
10.074143463846863
100
0
101
63
102
58
103
77.59368404953422
104
0
105
0
106
78
107
78.29218970872806
108
0
109
8
110
45
111
17.644095740408805
112
1
113
72
114
91
115
51.091776703497025
116
1
117
71
118
61
119
4.46335768484476
120
1
121
73
122
61
123
19.19635864165311
124
1
125
28
126
23
127
48.982882673626605
128
0
129
35
130
46
131
72.06006130576772
132
1
133
96
134
33
135
94.9312747465812
136
1
137
71
138
25
139
58.84947667956878
140
0
141
62
142
34
143
83.10209789707021
144
1
145
3
146
0
147
60.31113272104523
148
1
149
59
150
1
151
95.22711671553465
152
0
153
27
154
5
155
23.3189617547122
156
0
157
22
158
46
159
64.05916939337939
160
1
161
33
162
47
163
46.82163338724378
164
0
165
5
166
37
167
69.55313329945268
168
1
169
27
170
41
171
69.19113220612002
172
1
173
60
174
73
175
66.10005006652165
176
1
177
69
178
12
179
36.296954916947755
180
1
181
39
182
84
183
90.85535476425949
184
1
185
22
186
69
187
39.16842390671763
188
1
189
57
190
99
191
41.832261843409825
192
0
193
65
194
93
195
32.04208779088599
196
1
197
86
198
48
199
48.12317539066707
200
0
201
2
202
28
203
33.196591892876846
204
1
205
19
206
13
207
63.0148121263175
208
0
209
57
210
12
211
73.0336620204765
212
0
213
26
214
16
215
14.929382011952807
216
1
217
29
218
67
219
50.293769599013814
220
1
221
54
222
60
223
11.247426752359768
224
1
225
34
226
76
227
77.03331858759303
228
0
229
29
230
72
231
79.63142138130308
232
0
233
70
234
61
235
73.23368413631485
236
0
237
29
238
92
239
55.393644178517874
240
0
241
8
242
65
243
5.009349037261646
244
1
245
32
246
48
247
38.4378589211353
248
1
249
29
250
5
251
34.75783493739646
252
0
253
18
254
80
255
54.200849558869926
256
0
257
75
258
8
259
30.221648183140857
260
1
261
10
262
74
263
99.67109688799586
264
0
265
70
266
98
267
97.49777691133131
268
0
269
30
270
21
271
70.210941227209
272
0
273
26
274
60
275
69.54724674244808
276
0
277
30
278
26
279
68.8606557723099
280
1
281
85
282
35
283
98.03235075479706
284
0
285
29
286
80
287
37.676571508736046
288
1
289
93
290
37
291
57.26506476756806
292
0
293
72
294
33
295
59.17498961490435
296
1
297
27
298
9
299
91.55253231185114
300
1
301
14
302
37
303
19.86027047383955
304
0
305
57
306
35
307
62.676687042791315
308
0
309
83
310
47
311
56.1011891664533
312
1
313
17
314
24
315
0.8371084151469255
316
1
317
64
318
98
319
35.91077242886562
320
0
321
56
322
63
323
55.52526390141128
324
1
325
17
326
50
327
16.730316585485028
328
1
329
99
330
43
331
30.347295456316825
332
1
333
69
334
9
335
64.65815492527453
336
0
337
40
338
62
339
47.9094581513485
340
1
341
12
342
71
343
86.58374877401165
344
1
345
37
346
33
347
82.2314698424441
348
1
349
3
350
57
351
11.385256025029456
352
1
353
29
354
98
355
11.809093324193165
356
1
357
1
358
7
359
6.2671438991666495
360
1
361
33
362
28
363
80.20878350136458
364
0
365
17
366
80
367
87.21817105557705
368
1
369
9
370
95
371
18.791266364194502
372
1
373
28
374
71
375
68.57064625486504
376
0
377
60
378
60
379
14.301566223028594
380
0
381
95
382
78
383
21.596557804429285
384
0
385
3
386
91
387
37.11055850595113
388
1
389
56
390
10
391
87.71618823352607
392
0
393
68
394
97
395
4.152425507206637
396
1
397
31
398
63
399
42.76084914061643
400
0