Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_gain_test_uK_order / gain_test_uK_order_gain_test_uK_order_input_values @ 0c9457a0

History | View | Annotate | Download (10.7 KB)

1 0c9457a0 bourbouh
91.20986297506461
2
98.37547338493663
3
60.30819920800485
4
58.36346809263916
5
39.190311798417945
6
97.29623656001513
7
15.492884833409114
8
34.62308897168612
9
8.078439986728103
10
42.97020439466333
11
34.093391633938054
12
42.026497825796504
13
53.66288760212369
14
91.37042495172685
15
64.06630911383081
16
96.0678412853662
17
50.64561416942356
18
2.2609849857498365
19
35.96587455099651
20
81.64114790716108
21
25.79870545189875
22
45.859432035713674
23
12.07354015928349
24
27.101084507840312
25
23.589325380179083
26
37.06087465960797
27
87.36365589775616
28
21.554598114155045
29
82.19331785742892
30
55.442128867866025
31
94.29805837493714
32
36.189768627524025
33
68.61877521886564
34
93.34632518650287
35
42.05564378728825
36
14.842647026492251
37
33.08669663727486
38
24.055421554946
39
90.04129297678979
40
19.02243334305317
41
94.86657729188389
42
97.39011671071927
43
15.381778199894624
44
48.2598387008872
45
64.44059435111924
46
51.033637426360436
47
84.60458261472155
48
7.913071600453392
49
40.17084123889738
50
72.45799104959713
51
80.80883925000558
52
63.46033109735962
53
91.56982961092345
54
58.53819697974559
55
69.3758627093142
56
2.8273048819624225
57
55.82523492246422
58
97.77214528335047
59
7.630051771087976
60
26.442650075671736
61
29.40569433907083
62
43.48069763063926
63
16.849211353478033
64
98.48398593910038
65
32.37521558432756
66
55.44469099058421
67
38.636607825057624
68
22.17144633087369
69
59.469527932141844
70
62.14254460974168
71
91.90538898268886
72
46.98538675836329
73
9.038521306875069
74
36.0842101889262
75
31.589245506495047
76
76.32936853911345
77
98.63465118299143
78
80.6942066092667
79
85.68148652854158
80
20.42905541463841
81
34.328045783244136
82
98.77853345225664
83
13.318003412984291
84
31.152208080648023
85
99.75473099680623
86
49.817290381471594
87
83.35781502424902
88
62.9544988556586
89
70.455252554634
90
6.156858597965376
91
20.27826754519039
92
27.300389123135062
93
39.23674118666373
94
86.63250220511229
95
2.1901342404570867
96
46.67781029032309
97
59.09220030929582
98
80.23434808170609
99
24.391239693749778
100
68.7200063707992
101
71.63663136246414
102
72.1366479546026
103
61.115410689475404
104
70.96733787449898
105
91.07037041949042
106
49.742318277671494
107
67.99696866350531
108
72.44643583377874
109
56.35580139847388
110
97.35178662628236
111
68.259131795779
112
69.51357818718223
113
47.59435862512989
114
84.64714164552323
115
56.74803986454741
116
30.303751470627137
117
86.51656576398301
118
16.389688311514973
119
37.67241052930571
120
14.646344251974474
121
5.54860043370935
122
38.5610099797293
123
84.27206983599946
124
34.45296784286859
125
75.09466273400614
126
89.63466155212882
127
71.62691102469489
128
33.35241320343813
129
24.475231633321837
130
44.74765515552674
131
87.43112581892507
132
43.74232896859531
133
78.38700543051644
134
25.247953967045987
135
69.79578552456698
136
74.44669813788015
137
57.801224431098554
138
36.4261763123206
139
56.006198317843555
140
92.81269704161818
141
61.892720025387064
142
52.196788850438125
143
51.64870159876315
144
91.35014850306818
145
55.89290582927396
146
87.07607510414326
147
45.63483112101218
148
70.91119340287521
149
38.685685191865346
150
83.01118426078217
151
3.389125390728631
152
29.927431762068647
153
53.516003966623884
154
91.44664423269465
155
67.83007024657434
156
22.366240052982977
157
35.356612920347494
158
49.471691061904174
159
85.76196144964277
160
35.837579079026625
161
59.27932084183807
162
32.97383696961986
163
55.90882510886092
164
45.677071391190715
165
65.60285572801479
166
19.43115545719015
167
64.05966647070535
168
20.850681289689522
169
89.64019726314251
170
8.307707004190002
171
30.65778176526075
172
93.17089501700293
173
16.544043708034195
174
27.973650673691242
175
46.654984440840266
176
52.58377245595318
177
15.049849814281691
178
4.6535902814682455
179
14.56499059521137
180
98.18080331722659
181
77.84166119702039
182
81.11367663177931
183
43.38842572763231
184
57.1090476169349
185
10.816730034956755
186
50.630129342998096
187
68.44524368481014
188
81.69754240407705
189
68.70071791546802
190
15.238771512022364
191
80.13858172940357
192
48.88749019603321
193
30.2660310543715
194
86.34725744585725
195
49.28739332586146
196
15.448309417498251
197
42.83162957525778
198
20.49867652324521
199
30.903463934412876
200
27.481093674439837
201
42.77346281871773
202
23.407289910771766
203
13.15170827640828
204
43.35565719018316
205
76.4504054394746
206
61.34412551281297
207
53.720918028891205
208
5.496749265273615
209
4.251408485264852
210
90.53223326961165
211
11.945403545344647
212
88.32966611257929
213
69.39531519811185
214
52.41844319141249
215
41.756290726025625
216
57.21496110200165
217
52.66561069103361
218
85.52043507604645
219
57.90446642518957
220
96.34647635246803
221
14.438124449261547
222
73.00504671016863
223
25.885467755888225
224
2.356498673278684
225
46.16049952366068
226
79.23570953659778
227
54.60992273125744
228
94.76633207076428
229
14.868036131635364
230
28.23396805220365
231
90.1013705363974
232
64.44011151002506
233
86.37127290447292
234
42.332059590693525
235
18.36662648322831
236
66.84425686515709
237
55.42646370586153
238
90.25055381629547
239
86.07209329524281
240
68.1844315030934
241
94.50089411050027
242
90.41711644085733
243
38.77274902484965
244
69.38646961492833
245
56.67075778418308
246
77.5494293073623
247
58.1787629474552
248
65.40719754309929
249
32.74008510794977
250
68.35742237704434
251
52.30804560236666
252
45.505687525718464
253
67.8450142411768
254
55.67688574660411
255
15.361252089546241
256
3.8749107244304692
257
88.60847222823061
258
19.428695032592646
259
27.76906422154175
260
9.428420332169951
261
78.3360892304086
262
67.50479018201497
263
11.099896705298828
264
78.5560585303006
265
64.79500234713007
266
10.014172838768909
267
87.37938001926663
268
5.30740469239146
269
52.79293796377358
270
26.279161265877793
271
17.86131541652084
272
29.731025926616393
273
42.07574661015319
274
5.5541954615969225
275
12.403037105963167
276
66.99227900688317
277
19.98741236419166
278
29.64652612617463
279
7.3364572869264455
280
77.41182805623384
281
7.887216570148469
282
18.450118242889836
283
7.089252057511941
284
30.71164695080839
285
70.49464711439384
286
77.86117840172417
287
72.79903238192854
288
6.524772775618204
289
68.13333734738053
290
73.62570027307123
291
19.77656771842731
292
77.61962175661296
293
43.271132704624925
294
4.376481725244075
295
54.91240366373273
296
42.30919145077312
297
84.80417213079171
298
62.44909864531877
299
44.98454651274672
300
8.160028593141998
301
6.20863107902998
302
52.023323077930236
303
57.313108580619556
304
80.38536190067298
305
6.984558276832919
306
80.71856307007378
307
55.32113902523073
308
75.20132802099133
309
60.742049619886
310
52.978847633764126
311
63.299109046372756
312
60.94474178849637
313
87.83073814873453
314
71.41499990729568
315
37.03384461648977
316
27.895437125184884
317
25.589383620903916
318
95.72861155463625
319
89.95090613124393
320
1.5156460346495204
321
5.09314867788806
322
17.924485639401077
323
28.032808030272903
324
43.21354334241193
325
79.70187055591089
326
87.22525678734897
327
41.01363231651446
328
27.757481336471045
329
27.763478867241766
330
58.433890646628086
331
82.21395907077944
332
47.112055546419164
333
69.50247150954456
334
43.44685251922568
335
44.868271790148185
336
66.73667807412932
337
96.42410780937422
338
17.202714914449512
339
8.910316211429192
340
52.28178368350094
341
10.490819350978608
342
66.55801851925975
343
88.92010151902805
344
92.13743343266232
345
9.878073417342792
346
73.41427492809129
347
61.29961113184223
348
64.43352206906319
349
38.29272294027949
350
91.87694596426657
351
86.73249537963159
352
35.86039037345151
353
35.63767028486786
354
13.309359029999534
355
72.59631853661861
356
34.07312242179792
357
89.23240196614223
358
12.851470465049019
359
39.234234001528414
360
5.462390871995804
361
86.84983208935577
362
36.3054793194414
363
63.856235586682374
364
55.71919374848277
365
15.505537979315175
366
17.247285324891394
367
76.32838884480687
368
71.89040197824505
369
33.236394719147675
370
10.804839605257444
371
72.22175266625055
372
41.51654719343919
373
65.03127673238404
374
92.75145347068252
375
90.23098351551558
376
16.96278068350732
377
38.62737244169705
378
0.3941616470537923
379
73.43589499614053
380
21.198544572347235
381
81.06133072016056
382
85.19430832415732
383
96.86748668412389
384
55.05094858304116
385
42.665391722837
386
6.139463118819655
387
97.4533163045535
388
45.35141282509622
389
1.6242551915269021
390
17.592913229428355
391
86.65530161312644
392
68.41466094479871
393
29.259381486227642
394
95.67894517647773
395
60.9763277913377
396
93.93370471405296
397
63.883088995290684
398
3.2191540580773115
399
51.00037445907844
400
20.643937448140438
401
49.36566218797025
402
14.817104670036885
403
65.7440877175148
404
17.00402388178134
405
43.48442533526312
406
10.895632372804032
407
95.83602600548468
408
37.66083100734859
409
90.67454218123326
410
2.323173002500234
411
36.403123517981925
412
59.61009401175663
413
83.97707026950215
414
65.7224598479348
415
78.53214910839652
416
70.73412504056046
417
11.780570451399552
418
53.63704957531984
419
96.78724694912196
420
47.792359496508176
421
96.37840692805581
422
93.43808332982665
423
29.50290407828742
424
80.96008717017412
425
83.41455047128966
426
4.185801275171208
427
8.435025973595579
428
37.65520257214025
429
33.96660167746354
430
41.61727327296598
431
44.840996910591315
432
9.662428574934733
433
4.315439670054289
434
28.013922018870684
435
20.172946164679484
436
54.45890248384539
437
72.37673220838985
438
35.90939524904343
439
61.30672846782883
440
24.164575373070385
441
84.32028024348426
442
72.43039624406055
443
2.5923471013282295
444
73.68549093176007
445
50.079034124350926
446
54.52008906916449
447
49.99988536960201
448
53.38736027849208
449
12.250264192647343
450
74.3757685581239
451
66.24829708370441
452
21.031594344047765
453
49.317328871572954
454
29.13947298130396
455
90.04261226460915
456
52.725302749246026
457
51.171065652613265
458
29.212279079173086
459
87.40851622727065
460
93.28141499138547
461
22.58579158998192
462
5.520020579963236
463
8.601412981940426
464
62.65456724378112
465
28.60556649497612
466
7.64024656500637
467
90.18047028699459
468
27.01294223479649
469
94.7221686640216
470
21.90720926368721
471
98.5763703169159
472
50.52573725683956
473
14.277103050528828
474
41.443774510095686
475
58.844760915980046
476
67.09057199803775
477
95.69557598615071
478
88.52608415210959
479
50.28574461471348
480
49.994528278145964
481
2.9613517401607115
482
23.768945170164947
483
79.22294290571396
484
11.8972041498009
485
4.1670048480519695
486
76.32684747405398
487
58.47403867187443
488
37.54356467971599
489
45.02498667573889
490
94.63760128133758
491
32.9078948573002
492
37.258978750599624
493
6.900659766881068
494
48.19261808341789
495
90.97170029480488
496
10.548348890366366
497
92.22922031352194
498
7.39984392556795
499
93.18485073407017
500
26.01575139698352
501
4.104248456065762
502
90.81245546814766
503
30.334523958328674
504
56.34054711818908
505
51.37637139773773
506
96.82838430729635
507
96.47124482197341
508
55.19046787289228
509
15.776344522693265
510
30.42281898606354
511
24.79095792113902
512
26.721701353120196
513
63.377573512048016
514
94.55786522705507
515
88.10347382284792
516
17.710515243991033
517
69.13897364837594
518
40.620529125694716
519
9.825359614752639
520
57.38052543797887
521
50.31974537973143
522
62.57227437074633
523
66.29870103982472
524
80.63421631032315
525
72.23350881790503
526
75.4504112116383
527
86.72538256601405
528
96.6668703531909
529
98.10996081722399
530
40.44358382677067
531
73.11985331862472
532
6.835575100501579
533
3.758040998801815
534
85.9707144296341
535
69.42160248980498
536
33.17552618932717
537
67.27533873679047
538
27.02472379362356
539
6.2718872752282495
540
92.10038891376908
541
74.22430711078522
542
3.499432201631081
543
35.94748013032969
544
36.59294222738117
545
49.49655757535276
546
42.300045006706746
547
50.55751943210076
548
94.58687408122556
549
38.51234988390424
550
97.7446696851592
551
45.84784671872711
552
51.26001844481266
553
12.453162974023114
554
40.09635773040403
555
52.82045879549428
556
58.60391573714634
557
64.90098026848328
558
43.02215387990225
559
9.863971627420053
560
6.9041027664039305
561
0.5587484984517888
562
67.35770854969078
563
89.20435661257544
564
59.66005971442544
565
90.65221625057049
566
50.76303882130813
567
23.223374992152245
568
35.99327063697565
569
84.16416257831804
570
90.68699100296563
571
98.55552450688685
572
22.736394853028674
573
19.22779034272134
574
51.51511401011884
575
98.86250672194237
576
12.166075624247108
577
74.80685647380282
578
35.85752670345729
579
80.79758879223496
580
90.73643414973559
581
39.215867566310415
582
34.64054695097316
583
61.910409219364404
584
49.189846883829624
585
49.08449739010763
586
10.997753969088697
587
84.1061940033298
588
45.066113980791236
589
70.04608929200393
590
78.91328508529942
591
91.76148746655754
592
24.900675255980374
593
48.73097868419338
594
9.152127080538486
595
29.711883955192985
596
5.297054843475168
597
64.57107506883115
598
32.21923979601302
599
23.06551497524576
600
19.578228646156493