Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_ext_IC_test / input_values @ 6c3ea955

History | View | Annotate | Download (11.8 KB)

1
56.2024769247632250
2
83.0040965353346394
3
22.0000000000000000
4
9.0000000000000000
5
62.0000000000000000
6
62.0000000000000000
7
72.6883347996638634
8
76.3726242412263474
9
94.0000000000000000
10
57.0000000000000000
11
98.0000000000000000
12
51.0000000000000000
13
38.2085104263775293
14
11.7309708319788708
15
42.0000000000000000
16
85.0000000000000000
17
4.0000000000000000
18
31.0000000000000000
19
54.7626302355607635
20
70.9947832282721691
21
79.0000000000000000
22
64.0000000000000000
23
22.0000000000000000
24
4.0000000000000000
25
1.0606797991004946
26
56.3359746783190332
27
67.0000000000000000
28
95.0000000000000000
29
77.0000000000000000
30
38.0000000000000000
31
3.3545143949083367
32
77.0432735163223441
33
72.0000000000000000
34
45.0000000000000000
35
73.0000000000000000
36
52.0000000000000000
37
21.4972242299061875
38
24.6364734739814359
39
64.0000000000000000
40
14.0000000000000000
41
11.0000000000000000
42
23.0000000000000000
43
16.5349126093564998
44
18.2288329940466056
45
18.0000000000000000
46
40.0000000000000000
47
78.0000000000000000
48
63.0000000000000000
49
86.2845928537058597
50
94.5828734717399868
51
8.0000000000000000
52
1.0000000000000000
53
96.0000000000000000
54
72.0000000000000000
55
46.4870775231429363
56
82.1635254979541401
57
35.0000000000000000
58
15.0000000000000000
59
46.0000000000000000
60
69.0000000000000000
61
96.2023421085413446
62
21.5295406069883413
63
4.0000000000000000
64
16.0000000000000000
65
80.0000000000000000
66
45.0000000000000000
67
44.0682153045067437
68
86.2579851854658415
69
30.0000000000000000
70
61.0000000000000000
71
47.0000000000000000
72
33.0000000000000000
73
92.4810836806855008
74
10.1761815878765205
75
66.0000000000000000
76
80.0000000000000000
77
36.0000000000000000
78
89.0000000000000000
79
94.1993405075469639
80
50.9008681195574084
81
69.0000000000000000
82
73.0000000000000000
83
64.0000000000000000
84
46.0000000000000000
85
69.7416056487983269
86
9.8121269615083939
87
21.0000000000000000
88
38.0000000000000000
89
87.0000000000000000
90
67.0000000000000000
91
79.4797838339526237
92
30.9280740819134472
93
74.0000000000000000
94
80.0000000000000000
95
31.0000000000000000
96
13.0000000000000000
97
15.6464960777516815
98
29.2403767195807518
99
27.0000000000000000
100
95.0000000000000000
101
71.0000000000000000
102
17.0000000000000000
103
14.1346302831216306
104
22.6279128210626901
105
22.0000000000000000
106
17.0000000000000000
107
16.0000000000000000
108
69.0000000000000000
109
77.7495058415830442
110
38.1943635980395513
111
100.0000000000000000
112
21.0000000000000000
113
98.0000000000000000
114
91.0000000000000000
115
13.2746498130675850
116
86.1718478241193679
117
94.0000000000000000
118
41.0000000000000000
119
58.0000000000000000
120
32.0000000000000000
121
51.2017117306810974
122
15.4808256064324361
123
1.0000000000000000
124
68.0000000000000000
125
83.0000000000000000
126
28.0000000000000000
127
59.3742827628846328
128
92.5424180237379090
129
86.0000000000000000
130
96.0000000000000000
131
2.0000000000000000
132
7.0000000000000000
133
93.4830460339136948
134
55.3410570584481434
135
16.0000000000000000
136
4.0000000000000000
137
63.0000000000000000
138
39.0000000000000000
139
3.3140455178069184
140
57.8583749277534878
141
8.0000000000000000
142
13.0000000000000000
143
31.0000000000000000
144
67.0000000000000000
145
13.0842510990225804
146
0.1240191368818366
147
2.0000000000000000
148
60.0000000000000000
149
51.0000000000000000
150
15.0000000000000000
151
25.8040922582760004
152
37.0064972828268637
153
55.0000000000000000
154
28.0000000000000000
155
32.0000000000000000
156
28.0000000000000000
157
14.0991716501555171
158
1.9691269069019190
159
74.0000000000000000
160
37.0000000000000000
161
58.0000000000000000
162
77.0000000000000000
163
17.3943693747428689
164
7.7610594410544520
165
68.0000000000000000
166
4.0000000000000000
167
78.0000000000000000
168
38.0000000000000000
169
35.0875740580659041
170
91.9911088458675010
171
11.0000000000000000
172
89.0000000000000000
173
18.0000000000000000
174
68.0000000000000000
175
85.1940823196361521
176
65.8078885385135379
177
83.0000000000000000
178
57.0000000000000000
179
23.0000000000000000
180
62.0000000000000000
181
59.3068385665031386
182
97.3933730256452748
183
27.0000000000000000
184
84.0000000000000000
185
11.0000000000000000
186
49.0000000000000000
187
92.3648327960213464
188
23.8959597927227527
189
1.0000000000000000
190
91.0000000000000000
191
85.0000000000000000
192
33.0000000000000000
193
97.9861263741825752
194
84.3245107957044269
195
14.0000000000000000
196
64.0000000000000000
197
96.0000000000000000
198
89.0000000000000000
199
12.7699892812120694
200
83.2058011789178948
201
77.0000000000000000
202
54.0000000000000000
203
72.0000000000000000
204
97.0000000000000000
205
12.9504062075908593
206
11.2843192346935304
207
44.0000000000000000
208
51.0000000000000000
209
23.0000000000000000
210
42.0000000000000000
211
35.5871437663073351
212
72.6907378166943232
213
51.0000000000000000
214
57.0000000000000000
215
50.0000000000000000
216
31.0000000000000000
217
19.3583094344704456
218
72.7828608457609505
219
88.0000000000000000
220
81.0000000000000000
221
100.0000000000000000
222
82.0000000000000000
223
17.2977088500751535
224
20.1452361364960808
225
78.0000000000000000
226
16.0000000000000000
227
32.0000000000000000
228
10.0000000000000000
229
55.8481404138863269
230
5.2037168752783298
231
11.0000000000000000
232
20.0000000000000000
233
98.0000000000000000
234
63.0000000000000000
235
53.5151820800685698
236
3.9474663701083545
237
55.0000000000000000
238
65.0000000000000000
239
22.0000000000000000
240
18.0000000000000000
241
50.5473472183420114
242
13.7580226468023259
243
73.0000000000000000
244
14.0000000000000000
245
84.0000000000000000
246
36.0000000000000000
247
16.3494035147193308
248
77.4539516726286905
249
68.0000000000000000
250
78.0000000000000000
251
1.0000000000000000
252
94.0000000000000000
253
43.7281667830882199
254
32.6127813149753578
255
3.0000000000000000
256
35.0000000000000000
257
51.0000000000000000
258
46.0000000000000000
259
73.9464263123005878
260
29.1865931388765389
261
4.0000000000000000
262
95.0000000000000000
263
11.0000000000000000
264
71.0000000000000000
265
24.9031511170777691
266
81.0722345536788396
267
91.0000000000000000
268
96.0000000000000000
269
29.0000000000000000
270
31.0000000000000000
271
78.3925243356095649
272
2.3327541480990144
273
51.0000000000000000
274
68.0000000000000000
275
4.0000000000000000
276
4.0000000000000000
277
1.0694623641497536
278
99.3921138600066030
279
96.0000000000000000
280
90.0000000000000000
281
11.0000000000000000
282
53.0000000000000000
283
95.7363577947980673
284
0.5342038023582019
285
32.0000000000000000
286
55.0000000000000000
287
21.0000000000000000
288
73.0000000000000000
289
17.3659397834135980
290
77.8331365440775613
291
72.0000000000000000
292
76.0000000000000000
293
84.0000000000000000
294
39.0000000000000000
295
45.1265009661737011
296
78.5292877765992614
297
18.0000000000000000
298
43.0000000000000000
299
11.0000000000000000
300
26.0000000000000000
301
81.2079114418810803
302
34.1567849320863601
303
31.0000000000000000
304
40.0000000000000000
305
99.0000000000000000
306
83.0000000000000000
307
92.0871227460902730
308
14.9462954170433644
309
17.0000000000000000
310
54.0000000000000000
311
20.0000000000000000
312
6.0000000000000000
313
4.7926623101039345
314
68.5440907477744474
315
32.0000000000000000
316
20.0000000000000000
317
52.0000000000000000
318
19.0000000000000000
319
32.4436182440982464
320
63.4377820031848287
321
22.0000000000000000
322
47.0000000000000000
323
31.0000000000000000
324
24.0000000000000000
325
84.4025614353121227
326
76.3524829970726557
327
58.0000000000000000
328
35.0000000000000000
329
14.0000000000000000
330
37.0000000000000000
331
84.3603575624447188
332
43.6169633039868430
333
6.0000000000000000
334
40.0000000000000000
335
58.0000000000000000
336
21.0000000000000000
337
0.2873573303156629
338
11.8812160594708125
339
57.0000000000000000
340
74.0000000000000000
341
46.0000000000000000
342
28.0000000000000000
343
51.3515361599685889
344
2.4651859465965043
345
28.0000000000000000
346
91.0000000000000000
347
73.0000000000000000
348
56.0000000000000000
349
35.3940822782198836
350
84.9908233609352095
351
54.0000000000000000
352
21.0000000000000000
353
62.0000000000000000
354
76.0000000000000000
355
94.3651466431021646
356
19.6827644610788504
357
90.0000000000000000
358
73.0000000000000000
359
9.0000000000000000
360
100.0000000000000000
361
20.1318203428177966
362
56.9111138838390929
363
12.0000000000000000
364
71.0000000000000000
365
91.0000000000000000
366
66.0000000000000000
367
97.5433763332884496
368
98.3051137626928124
369
54.0000000000000000
370
69.0000000000000000
371
25.0000000000000000
372
50.0000000000000000
373
91.3242512113965148
374
44.7966374818454156
375
34.0000000000000000
376
33.0000000000000000
377
44.0000000000000000
378
21.0000000000000000
379
20.6732318545036584
380
9.7954378952090142
381
54.0000000000000000
382
43.0000000000000000
383
70.0000000000000000
384
34.0000000000000000
385
4.5506174528790240
386
71.4049143605672469
387
76.0000000000000000
388
69.0000000000000000
389
35.0000000000000000
390
8.0000000000000000
391
85.7704499687674939
392
81.3494749292144093
393
4.0000000000000000
394
21.0000000000000000
395
11.0000000000000000
396
63.0000000000000000
397
37.8850540239201976
398
81.4215993132272757
399
55.0000000000000000
400
67.0000000000000000
401
87.0000000000000000
402
48.0000000000000000
403
28.3087774727779014
404
68.2389739725021087
405
82.0000000000000000
406
29.0000000000000000
407
25.0000000000000000
408
54.0000000000000000
409
73.9347300613867446
410
7.6827102644312912
411
45.0000000000000000
412
5.0000000000000000
413
38.0000000000000000
414
42.0000000000000000
415
35.8972221079749829
416
0.2942651111729422
417
47.0000000000000000
418
73.0000000000000000
419
59.0000000000000000
420
82.0000000000000000
421
88.5150998748768671
422
47.7279376443662002
423
3.0000000000000000
424
84.0000000000000000
425
14.0000000000000000
426
88.0000000000000000
427
65.4389986642553367
428
1.4148283106066528
429
18.0000000000000000
430
99.0000000000000000
431
30.0000000000000000
432
72.0000000000000000
433
80.4787741527981098
434
10.0787379013750567
435
18.0000000000000000
436
87.0000000000000000
437
95.0000000000000000
438
32.0000000000000000
439
63.8143673662017292
440
58.1150061069177966
441
37.0000000000000000
442
23.0000000000000000
443
60.0000000000000000
444
25.0000000000000000
445
37.3698044376888703
446
42.2733842843426402
447
31.0000000000000000
448
75.0000000000000000
449
30.0000000000000000
450
37.0000000000000000
451
65.0273063569108416
452
45.4730470092232011
453
67.0000000000000000
454
87.0000000000000000
455
35.0000000000000000
456
56.0000000000000000
457
58.5454686558513373
458
71.2636971870239080
459
91.0000000000000000
460
66.0000000000000000
461
36.0000000000000000
462
50.0000000000000000
463
5.2785492624406345
464
75.3780699939196666
465
87.0000000000000000
466
92.0000000000000000
467
34.0000000000000000
468
43.0000000000000000
469
95.7294572994712212
470
85.8634459983811524
471
17.0000000000000000
472
88.0000000000000000
473
16.0000000000000000
474
92.0000000000000000
475
9.6988709911294606
476
83.7554157734248435
477
86.0000000000000000
478
93.0000000000000000
479
33.0000000000000000
480
15.0000000000000000
481
29.7728044637756710
482
2.6123257006437695
483
68.0000000000000000
484
33.0000000000000000
485
39.0000000000000000
486
20.0000000000000000
487
40.0633871209589358
488
43.8167828599630411
489
47.0000000000000000
490
48.0000000000000000
491
52.0000000000000000
492
41.0000000000000000
493
76.7528081484992128
494
92.7464131833528995
495
18.0000000000000000
496
14.0000000000000000
497
10.0000000000000000
498
3.0000000000000000
499
79.6287327134049860
500
51.4984090757008559
501
90.0000000000000000
502
34.0000000000000000
503
32.0000000000000000
504
46.0000000000000000
505
53.4971488160975071
506
14.5721194934355083
507
10.0000000000000000
508
41.0000000000000000
509
42.0000000000000000
510
71.0000000000000000
511
1.3421421668611599
512
29.5977808077599214
513
82.0000000000000000
514
44.0000000000000000
515
31.0000000000000000
516
78.0000000000000000
517
65.9667415914171045
518
3.1425438216922674
519
28.0000000000000000
520
80.0000000000000000
521
12.0000000000000000
522
75.0000000000000000
523
70.4059857665284312
524
77.6829667651305442
525
48.0000000000000000
526
21.0000000000000000
527
19.0000000000000000
528
78.0000000000000000
529
67.3142732298584008
530
71.5058945629915854
531
19.0000000000000000
532
16.0000000000000000
533
52.0000000000000000
534
4.0000000000000000
535
59.9719056561741084
536
38.4999770925861355
537
41.0000000000000000
538
32.0000000000000000
539
44.0000000000000000
540
8.0000000000000000
541
82.2964225052233047
542
74.0356559526138369
543
97.0000000000000000
544
87.0000000000000000
545
53.0000000000000000
546
4.0000000000000000
547
63.0407944289454463
548
85.4420475288121395
549
2.0000000000000000
550
55.0000000000000000
551
35.0000000000000000
552
29.0000000000000000
553
17.4149244099501814
554
92.1225971312921956
555
2.0000000000000000
556
84.0000000000000000
557
71.0000000000000000
558
19.0000000000000000
559
29.4447078266020803
560
7.6840297766912151
561
9.0000000000000000
562
75.0000000000000000
563
60.0000000000000000
564
93.0000000000000000
565
98.5383235321557720
566
10.9779583999624730
567
20.0000000000000000
568
100.0000000000000000
569
48.0000000000000000
570
27.0000000000000000
571
60.4808624547015654
572
3.9667761021782488
573
26.0000000000000000
574
72.0000000000000000
575
93.0000000000000000
576
53.0000000000000000
577
85.8907819443876974
578
1.6764833215557662
579
27.0000000000000000
580
67.0000000000000000
581
84.0000000000000000
582
54.0000000000000000
583
1.0201409427982533
584
25.1078219547475321
585
90.0000000000000000
586
73.0000000000000000
587
80.0000000000000000
588
89.0000000000000000
589
60.4443453664120440
590
75.2301758901048458
591
82.0000000000000000
592
80.0000000000000000
593
99.0000000000000000
594
94.0000000000000000
595
6.0932132366179452
596
78.3675059491061461
597
41.0000000000000000
598
99.0000000000000000
599
1.0000000000000000
600
92.0000000000000000
601
15.7279724122411650
602
68.7211508277532630
603
27.0000000000000000
604
96.0000000000000000
605
16.0000000000000000
606
25.0000000000000000