Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_ext_IC_test / integrator_ext_IC_test_integrator_ext_IC_test_input_values @ 0c9457a0

History | View | Annotate | Download (4.69 KB)

1
72.13222530539527
2
85.16994293199446
3
1
4
56
5
33
6
17
7
12.557587763789236
8
71.39842836549995
9
42
10
11
11
24
12
78
13
36.415328034059904
14
75.26567416299177
15
91
16
60
17
95
18
6
19
47.35911546849947
20
91.8068543251479
21
20
22
36
23
98
24
17
25
58.488593156387445
26
47.18300381650856
27
85
28
30
29
57
30
11
31
52.118251184492856
32
76.50258422893803
33
15
34
96
35
75
36
86
37
33.372325284873284
38
47.95397952992524
39
24
40
89
41
77
42
15
43
80.111182689981
44
10.388147037714168
45
9
46
13
47
2
48
8
49
55.464243412479405
50
87.29154091394611
51
91
52
99
53
39
54
30
55
28.638970283236155
56
26.51511239625681
57
1
58
46
59
37
60
0
61
44.69504459125287
62
42.17603182608902
63
10
64
39
65
83
66
93
67
94.61731000697662
68
52.824535332389964
69
65
70
53
71
11
72
30
73
63.29066448490933
74
28.269091529038516
75
82
76
23
77
18
78
82
79
74.87456067341019
80
6.378842227446791
81
99
82
47
83
98
84
35
85
12.594344154983183
86
30.73308089242367
87
73
88
87
89
41
90
55
91
63.111148706149365
92
90.16330397210652
93
14
94
82
95
45
96
75
97
24.401647085345736
98
12.034131623769028
99
63
100
15
101
19
102
22
103
20.473459227277925
104
72.53521428193807
105
21
106
26
107
73
108
28
109
86.26152760905399
110
39.30697990258577
111
14
112
24
113
22
114
7
115
21.69537583455664
116
54.398894499747044
117
35
118
42
119
35
120
16
121
65.19659995773804
122
98.85967612864201
123
4
124
82
125
25
126
50
127
3.760557380479679
128
54.18465701516425
129
72
130
24
131
96
132
74
133
19.295711332663977
134
90.39632992320522
135
44
136
2
137
91
138
57
139
69.03859408160233
140
65.70984341316637
141
41
142
72
143
30
144
17
145
11.631965982505754
146
18.53598879981815
147
48
148
84
149
65
150
3
151
19.84817224804466
152
69.00007767760542
153
40
154
95
155
24
156
66
157
65.95931188260184
158
24.20577462567254
159
40
160
14
161
55
162
22
163
26.400350473514468
164
99.14884087568284
165
26
166
81
167
97
168
25
169
28.640794532420788
170
23.486436639844598
171
52
172
82
173
23
174
17
175
55.075117553947685
176
3.293499453806381
177
95
178
66
179
80
180
99
181
26.261669187223625
182
46.488396720682864
183
77
184
26
185
15
186
9
187
8.984288036451659
188
40.78592560826188
189
70
190
27
191
58
192
33
193
33.38040526013175
194
93.83645535436722
195
95
196
23
197
59
198
7
199
57.77393174368155
200
6.635808333525639
201
68
202
45
203
6
204
82
205
89.8707898568075
206
53.341257093729354
207
51
208
60
209
91
210
19
211
58.619419252367486
212
83.30479882705592
213
40
214
12
215
18
216
12
217
32.308205157149175
218
44.43564447127645
219
38
220
7
221
12
222
10
223
95.36621038072298
224
50.92962536123405
225
40
226
33
227
94
228
67
229
28.853217315808312
230
82.95404907439826
231
23
232
12
233
27
234
60
235
87.76953248350365
236
11.05225946147479
237
36
238
16
239
76
240
23
241
32.08561790609829
242
83.83298839699657
243
76
244
39
245
3
246
25
247
47.786059963227345
248
3.9353154398342083
249
21
250
13
251
6
252
81
253
89.2420160910248
254
44.310880505452374
255
80
256
32
257
26
258
31
259
84.8707067785959
260
24.54076437807673
261
2
262
81
263
18
264
1
265
74.31013372187816
266
75.20519819451181
267
29
268
21
269
67
270
5
271
87.23169327751984
272
67.25010512145228
273
82
274
81
275
88
276
24
277
31.432900803060104
278
72.84518584687723
279
54
280
94
281
69
282
24
283
30.99696560817322
284
54.40412180591907
285
0
286
21
287
53
288
55
289
44.07549830817848
290
49.23818525900035
291
18
292
15
293
57
294
57
295
94.24514021135113
296
28.74033993268281
297
40
298
77
299
92
300
37
301
69.40847186311451
302
63.047751178554535
303
46
304
5
305
63
306
40
307
77.85405239261495
308
14.806309767729442
309
27
310
55
311
96
312
52
313
2.3600118720900176
314
18.96164975474074
315
2
316
9
317
53
318
50
319
60.12008073243981
320
79.42685664737053
321
22
322
98
323
52
324
56
325
58.79058395214227
326
28.02787519836277
327
84
328
82
329
73
330
83
331
37.10132856802375
332
46.303399400330306
333
21
334
19
335
56
336
73
337
92.24296129360805
338
46.536808400206695
339
30
340
97
341
98
342
79
343
25.637815678521104
344
44.82348466303209
345
97
346
47
347
86
348
56
349
83.72084653731488
350
36.027650569485736
351
19
352
48
353
67
354
48
355
31.001796425088855
356
98.15863457332264
357
57
358
22
359
57
360
85
361
68.9491787445069
362
11.997235524318285
363
9
364
69
365
53
366
17
367
6.131337360940636
368
80.7286727556278
369
96
370
97
371
78
372
86
373
92.56923779933885
374
73.88937381256753
375
91
376
55
377
28
378
7
379
54.40025044622955
380
0.11061043655842262
381
4
382
95
383
47
384
93
385
3.721715580713958
386
33.9428300598364
387
99
388
4
389
18
390
51
391
52.877557351263924
392
83.47024344785719
393
35
394
10
395
89
396
29
397
32.47083718603465
398
87.47607256684327
399
80
400
79
401
5
402
46
403
98.02955490584503
404
73.5945888943627
405
1
406
6
407
85
408
21
409
11.52265907533222
410
92.18691368930708
411
9
412
79
413
69
414
46
415
0.8176430221277786
416
64.6032623249916
417
75
418
36
419
71
420
5
421
32.690711609905776
422
49.04516735658086
423
75
424
80
425
78
426
50
427
83.14503357756733
428
32.41693983063458
429
88
430
88
431
84
432
48
433
52.56205250423327
434
2.3564489676845213
435
14
436
36
437
65
438
82
439
52.60546060715927
440
40.06103943457916
441
47
442
10
443
40
444
12
445
86.81690090045912
446
1.575250726498345
447
92
448
43
449
26
450
58
451
57.4870065662461
452
22.882705849652872
453
2
454
32
455
67
456
90
457
57.654955092066416
458
92.44538710738792
459
3
460
9
461
74
462
26
463
48.98418960001359
464
83.75926500519604
465
8
466
37
467
27
468
47
469
83.78153007842532
470
30.04599641214393
471
2
472
35
473
2
474
75
475
2.57143030623993
476
53.37627637648317
477
23
478
34
479
39
480
44
481
27.40662468234818
482
31.321135740037054
483
71
484
58
485
22
486
90
487
75.49101088992498
488
95.65325042698028
489
53
490
71
491
13
492
65
493
37.7100626079819
494
9.671190349600112
495
97
496
89
497
74
498
48
499
2.3086727635104554
500
63.39522699634094
501
45
502
54
503
60
504
50
505
55.22581642610967
506
59.184147399924846
507
94
508
61
509
91
510
12
511
55.48995729567975
512
34.24830355121168
513
30
514
74
515
22
516
32
517
66.59865960925072
518
81.08489023003422
519
34
520
47
521
93
522
31
523
22.950421606345316
524
82.03723239076938
525
94
526
53
527
89
528
91
529
24.166225056250124
530
69.98064884579445
531
17
532
84
533
61
534
57
535
79.53287210877306
536
63.56323756388057
537
40
538
42
539
97
540
0
541
69.81967855868194
542
2.480703913340887
543
8
544
7
545
0
546
32
547
54.36469777756175
548
25.940147493005284
549
14
550
66
551
39
552
55
553
27.59602976940334
554
95.76848514388871
555
52
556
22
557
58
558
27
559
21.048491291968794
560
64.54699331667712
561
94
562
73
563
11
564
82
565
54.45529434098969
566
28.704199366863136
567
51
568
93
569
15
570
16
571
62.639009485919495
572
86.67518459190158
573
60
574
45
575
94
576
28
577
63.69557822316181
578
43.03608372767865
579
97
580
95
581
60
582
66
583
88.35966497948172
584
60.94838778138857
585
21
586
97
587
75
588
49
589
60.459229986652005
590
67.29843495332149
591
72
592
99
593
97
594
46
595
4.011629480407608
596
57.593234813179976
597
4
598
42
599
33
600
7