Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (11.8 KB)

1
18.9717020745255418
2
50.9260490006881525
3
6.5771467391888994
4
90.2471209968689720
5
89.0809138690672739
6
62.0368241677092556
7
49.2515196182528712
8
56.6119110235814276
9
10.6233634035439053
10
95.3004503089290296
11
62.8096279814759484
12
76.8002033719571813
13
2.7534836466342916
14
97.4898345600517757
15
41.3467817686780776
16
85.1926397434449285
17
30.3738865731638228
18
73.4551291557310293
19
42.1132820558104157
20
48.1219257613522231
21
27.6963979899069841
22
86.3482556001749231
23
1.8021266196373786
24
95.7165437686008431
25
26.9574761598827664
26
15.9348108296091908
27
66.3727181296871009
28
26.0166997138852381
29
89.4823248617409917
30
9.1887579120072829
31
31.1899929463821053
32
89.5459269495301129
33
9.3834897673886974
34
9.0339874936265048
35
62.3263327871272352
36
20.7345219351471890
37
67.8418622752693921
38
13.9081711004502289
39
62.8507580324037178
40
71.3087052590196606
41
28.6473604866745113
42
20.6497756310162437
43
42.1615413139261506
44
42.2467312856355761
45
66.9686884677027905
46
0.7115495601523247
47
74.6086109815791474
48
27.0825588693464852
49
16.4441273280913833
50
75.4976723111106196
51
10.8059450325006416
52
31.4986663664117330
53
27.8655096434161429
54
55.8336472374745725
55
27.9702346455533828
56
29.9912151575677406
57
32.7147753146430986
58
74.9825392615064032
59
86.9023584179316373
60
90.5481158932634003
61
11.6594588385715134
62
22.5680712239454841
63
30.8365650910162223
64
25.5944304096142901
65
40.8554396397548061
66
2.7606676858459744
67
73.3480543200480213
68
91.1695454739644475
69
7.8329446265476559
70
36.1639800017784054
71
57.2688870252945321
72
78.2211303827828885
73
28.7676993504990222
74
69.4541244815628573
75
61.2510991141783876
76
42.2283039543595464
77
38.1335856884942430
78
37.9790311873559361
79
93.7185938404667240
80
57.2844556426560700
81
64.9332527696116699
82
32.1353359302412684
83
53.6107349137841993
84
29.7055023791251820
85
71.5914498924962572
86
26.8019509215268954
87
58.7958875239119081
88
23.3500335259234291
89
66.0222746320295926
90
34.5939965933842259
91
15.4220687919073285
92
50.5772488444537061
93
23.9435833045999900
94
7.7207534388216263
95
10.0282891709812851
96
29.6911335847479734
97
66.8773851114573148
98
75.7598176353847919
99
40.9689831663500357
100
66.0538949379134550
101
62.5367277444616505
102
96.3748433155313080
103
17.6672665807470750
104
64.6668583738515395
105
81.4392392636538034
106
23.8291258348056765
107
89.2755908048506086
108
11.6166489400428841
109
24.8291498947113212
110
57.9631455128265998
111
48.8960295712853394
112
14.4613689919777748
113
57.4650528566959835
114
59.3491225320487956
115
78.5727044028927395
116
82.0695750528834083
117
46.8619540853428944
118
91.4693239913075331
119
71.2045965607226350
120
3.2859629319920924
121
86.2738567876795912
122
98.1647168217540838
123
31.6694750879074185
124
18.1480840551908038
125
46.4673096650154207
126
30.4278145704529699
127
75.7505701299022860
128
28.2447085337916945
129
83.6554990502163491
130
63.8356870037265054
131
59.5925993377018912
132
18.8954900849459655
133
96.5580900031075942
134
27.0556589187688559
135
97.7068309094566985
136
32.8884420217073838
137
48.7121389207725599
138
72.6759479222496765
139
23.0917238743848046
140
19.0695477516659615
141
68.8570654507500990
142
1.2503313917471282
143
72.8866133766602928
144
48.6892329017555170
145
21.5872816965972056
146
54.6191340260844456
147
55.6703605282133509
148
13.4382963829208677
149
47.6564659798430412
150
80.1259059879700857
151
67.6345443934684454
152
49.5919436536844458
153
58.1637421561791541
154
9.5239918165876620
155
65.1349825073999824
156
2.2066783767000775
157
48.8644845813978606
158
45.1957244046457873
159
24.9084113490881336
160
5.6635691499716039
161
39.4351660807106370
162
83.4488065809560737
163
50.6490370773501866
164
52.2704466419994915
165
35.3016878656667643
166
94.0191601427008550
167
70.5833844318369898
168
77.4451073525685558
169
32.2195230504741161
170
24.4096737849444203
171
93.4295206475266724
172
4.0323421335347831
173
92.2648826036470524
174
43.9395529948297749
175
12.5770469492534893
176
10.9419304808270894
177
77.4578851205322394
178
34.6951836199197530
179
61.6329613474505749
180
97.1812653043954526
181
28.8332062850051543
182
20.9899010141075912
183
39.2113125196811865
184
15.7125615455398719
185
83.2261255819881285
186
40.4921883125219395
187
76.4789281636250990
188
45.3408736511043955
189
50.8453738090103542
190
29.0178014036541079
191
23.6838667787164354
192
49.1823746145517617
193
21.6832644836345025
194
14.6909683071985384
195
60.6043421842913403
196
25.6620034059292692
197
28.9619090325004542
198
22.6003179872107367
199
55.7473500569928504
200
56.7857168900803160
201
36.8811175641335609
202
63.3832939743527533
203
50.9921591727532402
204
88.2378195205554761
205
23.8475684088564108
206
46.5259775551854631
207
55.5590658315124699
208
36.9109056243707130
209
2.6536208162475372
210
6.2187822013194172
211
3.4140665681156146
212
29.9215241049318728
213
18.6322563693837360
214
87.4665292217951276
215
98.8125226481212877
216
20.7633097608084896
217
93.9455777902270626
218
72.3541526599630060
219
81.9149722722002593
220
67.9612044204719865
221
89.2516610872097118
222
70.4820665661880241
223
23.9793367885643320
224
54.8120255869673301
225
97.8229608094098921
226
62.9847188447474196
227
41.9024310051105857
228
15.7464934804095851
229
51.2942610629981388
230
94.6899671375038565
231
55.0790237458346112
232
54.9417786577593859
233
20.1777133963035311
234
52.6524188702116902
235
52.3401341395529087
236
15.7213662508502772
237
62.8449764469288894
238
22.0977766652622378
239
50.9371295870627918
240
64.3435590828806028
241
50.7392236232601874
242
83.6426353288236157
243
5.7759323726392919
244
39.2963150192331838
245
97.9766741120765232
246
96.0005112049453544
247
34.1946756819433872
248
93.0213744993290135
249
30.5116260357918705
250
4.6075383633105149
251
84.3942499492947746
252
33.1540158419147843
253
1.3688055440576163
254
82.6193518389315500
255
27.0693945157487583
256
26.0590698932190890
257
91.9213622671053798
258
17.4221759977224231
259
88.8253566232241525
260
18.9588338436622372
261
70.3711479892627381
262
60.0397905882805603
263
89.8310580539830994
264
10.5385418774371242
265
84.3137261324603884
266
18.4703908022311509
267
47.3184216956097572
268
77.8379819230909789
269
50.9225309552813670
270
57.7704865788939443
271
39.0967424182685122
272
62.9052993925225863
273
6.8927417627132614
274
55.7664511800490601
275
33.3278999894149095
276
74.3602998045146109
277
51.8929590623979280
278
72.4224446169121592
279
54.8420519945549856
280
98.1857007926543730
281
41.6819791510972237
282
69.4693319744838647
283
86.3699190309547049
284
32.1543336121540051
285
11.1447026030745295
286
76.0939851493512833
287
0.7880349047666102
288
91.5492993644640478
289
32.7606913746945381
290
64.5938049853876777
291
33.6072876195088668
292
72.2101393864205647
293
42.8836066209371438
294
49.2314774981107561
295
39.6466071599669760
296
42.1904738598049320
297
37.1834780643481864
298
71.8330420202246955
299
23.9141884140347649
300
8.4692508138093263
301
53.4446586418694807
302
72.3798098977462416
303
8.1936736994058013
304
56.8961798863618000
305
32.4760435210783029
306
8.1238286756349254
307
67.6135456107303554
308
58.9309063766093715
309
96.1352098182036769
310
97.8225382452568510
311
13.0153684688545379
312
17.9537563246585776
313
57.2862828032467988
314
36.5319580278743032
315
49.0381599323923680
316
51.2992341900364011
317
14.2373687370458413
318
26.6577931677377968
319
69.8436669451545811
320
30.3879752338225302
321
3.1795180738167894
322
14.7047728220390024
323
52.8257509683704143
324
52.6944733881573484
325
54.1094462246254224
326
70.2445448444613163
327
2.7704493744713066
328
74.5028716947128942
329
26.7571317881590929
330
42.3720303233204092
331
1.6154574302356450
332
95.9720533981799377
333
8.4433413470460508
334
74.6817154680663577
335
95.3767696184605569
336
68.5430730650738980
337
73.1187585921933731
338
45.7092821052232452
339
28.5979647151801899
340
65.6706571790739133
341
70.9749449468369704
342
51.0336309358169302
343
35.6720322411226221
344
86.2413191516515099
345
33.8790995908971979
346
78.6865048000744878
347
94.4731142135482855
348
95.1983551630661111
349
28.6823494350263779
350
94.3252521789725051
351
90.5975491958390080
352
74.4429587955642234
353
71.8204310651063764
354
80.2010433900470048
355
7.6544291084587046
356
2.9931121270879268
357
37.4626578204176681
358
39.2167968488169407
359
1.3424551807444285
360
0.1608379989944786
361
54.1766270461320190
362
41.5498762458120225
363
72.1581969206286828
364
89.8701931349804681
365
53.1177754359170038
366
5.9386374775846189
367
17.0455154518433396
368
77.5268260790449233
369
18.4294344043278819
370
0.7829827389215782
371
81.6106405251969704
372
21.4011719050018918
373
51.4219257325335164
374
94.1291669309001975
375
8.0583486314908637
376
94.2151684500345681
377
22.4490764215016583
378
23.8965741421808247
379
35.8909016133558723
380
43.8980382019897277
381
23.0804089404481836
382
6.3947653957262318
383
77.3241084431598438
384
86.9766355319182054
385
14.2862262837479381
386
57.6272622809405703
387
18.2136749037563490
388
74.7615333500108079
389
29.9476064522423258
390
82.1522436524867175
391
11.8256986530582147
392
7.6336064423187295
393
43.2376723225588719
394
45.0867762099301146
395
82.2792931719995124
396
1.5020738088400987
397
37.5294092390386353
398
50.2831821874133524
399
65.7951768868979201
400
96.0706672339045440
401
41.9767172320599542
402
89.4282167206969234
403
15.4088000057662207
404
8.6452022878737882
405
11.7188991489745487
406
45.7007984251593840
407
45.7219178437696883
408
61.9848086706957346
409
70.7658889080098845
410
5.0500637961451105
411
4.5123885789658207
412
15.6838835984530078
413
39.6286413158572302
414
47.8404032258875276
415
26.2264576462372894
416
89.1968240299220412
417
50.4965856507620146
418
98.6413582328205365
419
79.2037306152954272
420
61.2450318846903841
421
49.8055255103682200
422
63.8056514201468943
423
79.7454667784355991
424
51.1894286967937830
425
17.2461546279243585
426
25.3478447876706028
427
30.5131916099420017
428
69.5626670405938370
429
98.8322666464041930
430
69.1275299850141067
431
39.6709431764536546
432
60.3537258939294574
433
62.7783510799891715
434
88.7405301159434998
435
12.9739106199078584
436
93.2532375022744731
437
65.5780732886574640
438
71.4394094355357936
439
59.4292900653396714
440
21.9307754952920746
441
35.1475021418765721
442
6.0856056192255537
443
8.3400884922008593
444
18.5966027450675462
445
48.3874730821756174
446
80.2700003046382733
447
61.5301699734936065
448
60.1289380931818300
449
33.5068755069665514
450
2.9491094341950075
451
33.5580522507564680
452
10.9951147832765947
453
25.5372120137158483
454
42.9310517535422846
455
63.0578206339148437
456
54.1044262002197271
457
83.7777514239146370
458
32.7943134417751594
459
91.6973351214576269
460
17.7693723259686251
461
66.0875502673694228
462
68.6284949482906512
463
28.5454675561798155
464
20.4874322807180000
465
25.9850075143532742
466
69.0177828783082674
467
14.2649652672875540
468
18.8502018077295830
469
58.9101824323024914
470
69.8029673996915250
471
63.8139328951115772
472
91.0871567562456335
473
41.7683689298710803
474
84.5912794186300800
475
31.8540068260306235
476
48.2299557427616179
477
76.6524814289086152
478
73.2488901885279375
479
83.1658990761390271
480
77.1590318322135005
481
37.2598436510710798
482
1.3614454681911026
483
69.5077703560631193
484
54.4484982000038897
485
79.7973515368798303
486
9.1677313667339444
487
93.5729890089385918
488
55.2415143392281394
489
3.1671312122816708
490
14.2576751598430640
491
87.2818889802059203
492
4.1484778866577532
493
45.3103576503675143
494
17.3253777082416747
495
49.1111634018046246
496
31.7248685229509881
497
87.2826756244018327
498
44.2612991331893042
499
42.8802635328941903
500
99.1819642468628047
501
23.2574876358661271
502
60.4299338742148606
503
5.7752340635225163
504
52.3793802217434674
505
86.3057930116756467
506
92.4300903494019082
507
38.7032801916794256
508
18.1550913730216372
509
61.1578785558382521
510
38.7096223938466224
511
89.0432514679615252
512
77.5433403102082224
513
40.5459844019874680
514
46.8524814875876388
515
39.1121762907557198
516
19.7920170769019457
517
78.8222267033239774
518
1.8303147574084688
519
24.2304944512047555
520
1.1432094613265220
521
17.6804956761101408
522
27.9235867933932198
523
91.6226913782776506
524
34.1252708981911610
525
58.3186300636019936
526
93.7747996577341212
527
37.0537927097379409
528
84.1019193402779450
529
24.9271908023240947
530
29.7324498399698314
531
59.9821723104960540
532
75.2121681685127612
533
62.5427517918203506
534
54.6633656854424146
535
32.0127704572610270
536
39.6332550559761003
537
29.1671260272946000
538
77.6980102955656946
539
44.4319352294756840
540
20.6208010025897615
541
31.7858091006245296
542
55.8185519780015156
543
89.4723176202438708
544
23.8681096337172391
545
42.7269872250289140
546
5.9248355806233661
547
63.8307374913002121
548
76.9137465642080969
549
63.8063369166127572
550
55.4452494070597055
551
59.1488903184885118
552
23.0502538792632947
553
60.6025657638147450
554
78.2019397170319905
555
42.3109828583026157
556
38.5145108053016685
557
85.0469958105838515
558
45.8711521071519996
559
81.0065215684271891
560
34.9480677319417694
561
84.3763151524157564
562
54.1322166185737714
563
11.7272383561306093
564
50.7067753899453351
565
0.8265317019351404
566
92.4771403799588256
567
49.5042250948404075
568
84.2691353530978944
569
18.6880184794435564
570
91.8084665380597329
571
7.2303131159994871
572
94.7803388816019350
573
77.0244714822721335
574
41.0149052431242467
575
91.4617146632948277
576
42.1803661974565642
577
47.8912184750271095
578
71.0569104637181965
579
93.6504662402841603
580
89.9801075729470483
581
41.5612619715570943
582
5.8863045469587538
583
99.7572627006264554
584
61.2417062156776524
585
20.0551038730110598
586
16.7462631237115147
587
20.0205975548847448
588
14.6442617710055956
589
90.3789659923455133
590
63.2806839676906989
591
83.7150106876252806
592
96.6314782361562692
593
35.6645491926954747
594
31.6364800247135207
595
8.8635924767942136
596
47.3045898272429923
597
67.1064301798798368
598
22.8875148113557252
599
70.0160435799704715
600
34.9434746695044822
601
91.7407367072258921
602
82.7895281505225000
603
74.2397377120329480
604
26.0190118811545510
605
52.9806555455804542
606
88.1069453760959647