Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Iek1 / Iek1_Iek1_input_values @ 79ef5fc5

History | View | Annotate | Download (2.55 KB)

1
14
2
8
3
21.879275609384997
4
0
5
21
6
96
7
93.42175822496964
8
0
9
46
10
46
11
4.358364344825172
12
1
13
30
14
43
15
41.24779875056754
16
0
17
93
18
82
19
61.28506909533489
20
0
21
30
22
38
23
21.92159183197311
24
0
25
6
26
47
27
76.22547423849821
28
0
29
94
30
2
31
9.372750882995785
32
1
33
56
34
24
35
15.163764162672633
36
0
37
27
38
54
39
15.109851150701681
40
1
41
86
42
92
43
20.186010023172607
44
1
45
27
46
82
47
27.28268774480168
48
1
49
99
50
52
51
44.13416401483856
52
0
53
56
54
91
55
38.607459133807055
56
0
57
26
58
33
59
7.635358287464888
60
1
61
42
62
94
63
51.33635386784089
64
0
65
5
66
28
67
78.25033866649083
68
1
69
92
70
56
71
54.859460176099226
72
1
73
6
74
1
75
36.73486837416247
76
1
77
71
78
12
79
72.35874105340059
80
0
81
79
82
79
83
1.5867058179720228
84
0
85
94
86
26
87
31.945940130089834
88
0
89
23
90
16
91
91.17198436300508
92
1
93
46
94
87
95
23.920648952243873
96
0
97
88
98
57
99
40.925813495979625
100
0
101
33
102
5
103
80.26720029110653
104
1
105
85
106
19
107
33.59988452037314
108
0
109
37
110
87
111
1.4544262533352614
112
1
113
72
114
82
115
33.984396474170254
116
1
117
76
118
56
119
71.41295094383476
120
0
121
97
122
15
123
63.44968608645566
124
0
125
41
126
14
127
28.0916676841644
128
1
129
99
130
26
131
67.37975926048426
132
0
133
39
134
10
135
13.020289875685442
136
0
137
96
138
76
139
1.7539200622448847
140
1
141
25
142
87
143
81.54218576969917
144
0
145
4
146
44
147
52.73854713758789
148
1
149
85
150
82
151
42.3844112245196
152
0
153
21
154
14
155
35.87635925263159
156
0
157
2
158
37
159
50.72547483198719
160
1
161
31
162
5
163
21.003584205542868
164
0
165
14
166
40
167
31.20055537027796
168
1
169
93
170
7
171
7.2863533066296
172
1
173
21
174
86
175
24.43865274617172
176
1
177
61
178
52
179
56.6833375161014
180
0
181
82
182
67
183
55.589815267767506
184
1
185
29
186
88
187
37.483565023861786
188
1
189
14
190
83
191
13.133697418826829
192
0
193
86
194
58
195
13.657393904377335
196
0
197
64
198
43
199
16.311310867766128
200
0
201
13
202
97
203
6.6726238014334305
204
1
205
33
206
96
207
62.72930553086737
208
0
209
17
210
20
211
76.90720400256407
212
1
213
57
214
64
215
0.9178571103203192
216
0
217
95
218
36
219
61.6694737429586
220
0
221
13
222
49
223
62.95923562830637
224
0
225
19
226
66
227
86.45360730716588
228
1
229
64
230
28
231
65.01301869005871
232
0
233
61
234
17
235
82.71839668765683
236
0
237
17
238
93
239
66.53183029708262
240
1
241
45
242
84
243
73.68352070990932
244
0
245
63
246
98
247
96.4682879893394
248
1
249
65
250
25
251
71.39871376756443
252
1
253
12
254
30
255
86.63019365441859
256
0
257
9
258
75
259
80.5320302834528
260
1
261
97
262
44
263
82.52638296771603
264
1
265
76
266
63
267
85.65402414359077
268
0
269
4
270
77
271
4.1163942814030685
272
0
273
17
274
65
275
19.610128373254533
276
0
277
43
278
3
279
63.52929530559555
280
1
281
95
282
8
283
84.29769775491805
284
0
285
21
286
12
287
0.12662728286009228
288
0
289
12
290
70
291
70.85193365501003
292
1
293
34
294
74
295
62.25913826977558
296
0
297
35
298
38
299
7.312079304702124
300
1
301
16
302
70
303
0.27993085847962673
304
0
305
77
306
16
307
6.680448147757911
308
0
309
75
310
53
311
78.56991366832433
312
0
313
31
314
50
315
4.103595002362914
316
1
317
87
318
32
319
22.00596796452644
320
0
321
65
322
15
323
53.70239805356471
324
0
325
57
326
76
327
34.435469108723396
328
1
329
99
330
55
331
87.90272090034767
332
1
333
22
334
10
335
12.87541410345292
336
0
337
33
338
17
339
71.74725422896033
340
1
341
12
342
13
343
14.372087208007944
344
0
345
87
346
60
347
88.06957180688363
348
1
349
80
350
61
351
44.44948532535747
352
1
353
94
354
65
355
99.43302308955666
356
0
357
22
358
50
359
35.354645755516664
360
1
361
86
362
71
363
54.608673897317786
364
0
365
8
366
0
367
30.026047006699464
368
1
369
26
370
74
371
44.703451905631496
372
0
373
15
374
31
375
84.08716948545305
376
1
377
38
378
64
379
41.19853782040701
380
0
381
27
382
40
383
95.53351892139672
384
1
385
68
386
44
387
5.832847648463046
388
0
389
23
390
41
391
8.378108103329552
392
1
393
74
394
5
395
19.053681190212924
396
1
397
35
398
19
399
88.30817595130489
400
0