Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_polyval_test / polyval_test_polyval_test_input_values @ 0c9457a0

History | View | Annotate | Download (17.8 KB)

1 0c9457a0 bourbouh
8.96498139336015
2
28.774013822872234
3
56.387829393567
4
40.995588909225035
5
97.52847177355818
6
22.967445130243146
7
33.0791244880305
8
21.22335189291711
9
39.39933355048545
10
37.98241295338658
11
47.58212042083376
12
6.265263503088869
13
34.15312084522974
14
38.85746034798967
15
61.44855231729564
16
93.20813682613215
17
82.34020893014743
18
93.0233234838118
19
83.09928553464732
20
11.737825531018665
21
29.5227244666317
22
22.46556486389425
23
25.005402956518928
24
5.486448213174211
25
0.3609303492264737
26
37.691591327184526
27
69.51768686022677
28
61.35371672190607
29
83.70182308517569
30
92.60419389465639
31
50.63514578596514
32
16.38306194330007
33
1.2047431007483178
34
65.49711205515514
35
50.89777354834052
36
70.69902032997484
37
29.245814797464618
38
28.126308503215803
39
20.108231506031494
40
74.56315792101348
41
46.67505934545405
42
12.17400969567315
43
45.73172373307477
44
37.78152709898993
45
49.45707101853143
46
20.41077568994938
47
43.592828372942414
48
30.4974954234533
49
7.308180093279937
50
58.474223978969185
51
91.88257492336135
52
5.829535024342391
53
37.15003748213047
54
82.42121116958752
55
1.5086403375894952
56
76.86434338456247
57
33.531601992306626
58
67.07366824399165
59
1.4659918622077273
60
23.191459536623128
61
27.128538244498866
62
0.6664621334329546
63
19.17490266354389
64
85.46630947114062
65
39.01106270886614
66
2.4190431039458393
67
52.62777357638567
68
30.414402628401316
69
60.5783293731798
70
41.39080336086627
71
63.705692696049084
72
33.240185366322365
73
16.88941199979861
74
7.343461377571259
75
70.17025833627673
76
29.57981193705882
77
64.5780790151314
78
47.32200088292144
79
77.60568190540171
80
34.937934989248575
81
34.6204644957211
82
35.27898652114042
83
71.98070664194685
84
15.974323916158028
85
54.931874914952004
86
86.30537691161837
87
88.51946017100579
88
25.05695275222728
89
78.10094737333294
90
61.89423038205981
91
83.21483213101938
92
77.17396904685224
93
95.52639360913591
94
38.15195945732015
95
59.58753682282448
96
56.59771336874535
97
40.80366838823921
98
24.985110273882437
99
45.18856275959301
100
89.61979373373883
101
72.41584056282882
102
31.028886855646785
103
69.86216356261775
104
9.226926157524273
105
78.61503011230377
106
66.44692832994778
107
70.93120438694783
108
67.76309844334823
109
65.837815591565
110
63.72017372301314
111
39.23608899709636
112
24.42436080452287
113
76.08000616125894
114
75.15584407819429
115
24.353085389996
116
45.85835343519115
117
28.363209109165123
118
75.08595268296828
119
37.33739512078726
120
10.191413569654884
121
94.75772835338283
122
54.587926291160194
123
24.980831341420306
124
97.48196258629301
125
2.3832351155024356
126
47.04833489024893
127
40.843500893824526
128
82.89957270448535
129
99.3907894091007
130
64.00385430865964
131
5.2134117073921455
132
22.854967206518474
133
35.136777245832384
134
52.432010400246675
135
28.667498898680467
136
38.8569168877251
137
82.59137362447643
138
7.027433280466089
139
72.05202787759973
140
59.0478506598601
141
74.4811277183613
142
83.98769490295682
143
29.469918416689467
144
73.17073019392329
145
33.74739090896585
146
66.44602854421908
147
50.25704036283264
148
93.14552153289097
149
53.609250053207035
150
25.92657888683726
151
60.949062281927745
152
88.48441136060256
153
22.851679681740645
154
9.06104260769266
155
8.884990316750585
156
83.45065181177453
157
97.91672512064017
158
54.293883516471084
159
25.363025009404904
160
61.16675416371458
161
94.95743986085141
162
9.41658092883506
163
98.1589080016756
164
18.803453024438056
165
12.221458492636195
166
77.50964576184874
167
50.73652986937538
168
57.53175505997644
169
95.96301433866043
170
66.23440239556982
171
48.62495515939717
172
71.0960392421545
173
31.53930642045305
174
53.404875061124216
175
92.20571252129359
176
17.66707035450765
177
75.42913621938756
178
10.383299953709567
179
9.548612533281142
180
21.05949789510049
181
43.61873044976109
182
44.08118840844211
183
32.95395088125961
184
49.449221682857434
185
37.131775858419125
186
28.211024421308327
187
28.50346173784587
188
62.40178078829002
189
16.43761340912381
190
94.92206242339968
191
49.19190385420801
192
0.3237085736868095
193
33.05370274404873
194
49.06689619274541
195
99.10574068459987
196
14.374565329716138
197
88.86535646911132
198
49.08381450914698
199
28.63484891893211
200
99.42814848787933
201
21.517904456938652
202
70.84319328395057
203
28.847761248381676
204
97.84718122076481
205
7.693386282554481
206
33.79445836121198
207
56.930468531209044
208
87.63652188901618
209
35.165959121519485
210
22.36349096944431
211
3.983334855383658
212
54.965747405326525
213
19.237194138395786
214
79.78852879771813
215
11.490204390382175
216
78.1027314028985
217
29.484519230835527
218
86.44602134603528
219
53.41833118494501
220
17.47564358493461
221
48.71303241435481
222
60.20603234895244
223
27.177284086125
224
14.881522073672448
225
7.583009964576426
226
32.4702303090225
227
38.55947766833502
228
53.7854320390912
229
25.592396966386765
230
60.283623792357844
231
23.30458610940036
232
22.20492781581429
233
41.92566933442205
234
32.27462039231243
235
21.074540622830863
236
49.85036076363243
237
38.13741403462942
238
14.166156875268976
239
6.395420177191136
240
61.99236334016259
241
38.72106978428591
242
58.21402045045351
243
85.51700986041423
244
3.953567391584134
245
25.320265519223316
246
70.16669823559472
247
88.16038960007438
248
42.1724812047135
249
15.672223992668366
250
87.20440267149469
251
18.768406002707316
252
40.463126085230385
253
39.32976450017799
254
70.8031877804953
255
83.14343424889863
256
43.394925934352926
257
88.79041524976279
258
59.5833797030319
259
73.25135245804
260
72.64303078681425
261
36.86822752065632
262
58.93979504517981
263
75.4901992429526
264
56.71009219425477
265
88.97587974344192
266
66.61449567482668
267
65.86650372512072
268
69.5962726628123
269
82.44173241104971
270
46.36117192820765
271
69.2918167400143
272
49.79504205791877
273
54.0684490892711
274
65.46343570472204
275
89.60649060565417
276
7.41812375565366
277
71.84693723048045
278
6.10767144198745
279
61.95729139921029
280
4.303687609519069
281
67.0712945947788
282
45.47430119885231
283
39.79998963659762
284
9.637736249051244
285
9.057536437117253
286
74.89967848561818
287
5.067535918880806
288
91.91934251253105
289
36.25089425911793
290
94.574030084331
291
81.93903932643809
292
7.026213319241603
293
94.71350527702404
294
76.97919156916598
295
42.16424647532243
296
81.68783446598414
297
37.81634239166476
298
39.63315622407053
299
13.042745523910837
300
71.84924384196565
301
9.416262892166461
302
5.6967426369344825
303
37.92671289337799
304
96.2092158701412
305
66.8811235957471
306
59.61094915395713
307
93.51046944627701
308
6.642468103357468
309
0.032852238174108095
310
24.171836387131684
311
38.1896900448103
312
59.26627281859056
313
67.41050303854486
314
95.31313807778949
315
51.417660812148725
316
92.58763176684471
317
2.212285938934133
318
71.35495823753001
319
25.255451382461235
320
2.467913696976942
321
36.8576033443488
322
4.5902903174688925
323
86.20743780161793
324
27.567742182885613
325
57.31717926541429
326
84.81935543132234
327
57.95317122270083
328
23.485571195190026
329
26.191366970878192
330
36.80498929426251
331
23.731030840135713
332
8.979271627659102
333
6.973788818410487
334
76.61066501968708
335
10.898738057716029
336
13.460766813520275
337
81.01945726950784
338
25.395948548794923
339
99.59025227860133
340
41.379577599107364
341
73.44358033779136
342
23.48252243474881
343
52.40814029473745
344
96.161909829782
345
94.50927399230531
346
22.36715844681596
347
72.73507096814636
348
74.04765255673101
349
59.01945390368933
350
57.846296660079744
351
25.51752297846367
352
46.46852674657076
353
67.81017593480624
354
23.530222194967052
355
96.26945305701541
356
98.53632331464604
357
22.64976410831403
358
70.7630387737707
359
21.563081480697033
360
80.76098200978427
361
98.68006487074442
362
58.32797706853656
363
97.41857557517703
364
61.29405047226383
365
16.993231426341026
366
63.3058219087132
367
60.77388251781218
368
36.793845039380976
369
44.01942570283892
370
43.067550769903505
371
43.61053613610483
372
71.4343922127489
373
94.1079054593514
374
7.620537798437999
375
19.330750912922856
376
85.63103663413675
377
27.015970280332603
378
21.390957015298806
379
96.6256973588595
380
8.731352144015126
381
12.977266596520497
382
4.013327208093365
383
67.34434152063258
384
43.22085242190342
385
84.60300141406756
386
40.81137505317729
387
81.76677965415674
388
61.91863304410597
389
7.076629002205448
390
45.39273251570823
391
7.205536966409021
392
74.18902398427812
393
75.93461846276031
394
39.14321497665503
395
24.002831291796923
396
52.370999049383784
397
95.18293519792026
398
25.3947221761755
399
26.7612839129449
400
5.427898190851321
401
97.58089666748091
402
39.65412172894417
403
28.0402050393609
404
23.245834457541214
405
43.63110291417367
406
51.51868799908759
407
6.768970507584504
408
92.05989462688483
409
76.14616682340578
410
78.76701593894956
411
4.273651663096256
412
99.16303388357628
413
13.220009264252319
414
49.60256720803349
415
47.08252850369404
416
3.3533730585935007
417
34.01350138881607
418
15.140313310088139
419
67.57067671723382
420
46.50134844858908
421
48.97127515059855
422
70.96519840812844
423
1.0233247120940092
424
21.168985138205297
425
48.918564167791665
426
93.95444975676007
427
60.84225973678768
428
89.38930560320634
429
95.94394762185237
430
38.54402841165634
431
32.388999198399816
432
68.51469817232774
433
53.055918490702204
434
65.23280856299078
435
80.35309641618181
436
61.46884440182715
437
49.308219994407196
438
93.35632002678939
439
34.553370761742954
440
10.787567390969555
441
42.420933892609305
442
80.02522816667897
443
4.724450222769594
444
98.50977265362518
445
71.88131204346456
446
27.611954662465486
447
76.11052762264224
448
97.28041101313318
449
92.09041527094605
450
13.282151826240995
451
54.58275540113764
452
1.9531825510942236
453
37.328619530057274
454
15.805996990722736
455
62.51623801160036
456
35.531496583822964
457
98.14507887636864
458
87.24760596872537
459
34.80711816696312
460
28.46194535817571
461
82.23329932745172
462
80.11908795242381
463
28.179791880672422
464
16.09538021239829
465
91.93699241262357
466
94.19907220147806
467
36.3287887559166
468
85.5564150532323
469
75.23736141543745
470
51.45384452354045
471
98.45941662522094
472
30.312997501361284
473
97.4051192455446
474
42.362434571025986
475
99.4357861441082
476
38.413450333035314
477
36.45742581027637
478
12.43537946658806
479
86.01436984246503
480
48.659163441727614
481
27.14208027173268
482
73.8300826974784
483
65.53576077155617
484
57.90691244017844
485
65.37827306829027
486
33.70402635212388
487
10.966863189908938
488
52.245573358547844
489
37.915253330465234
490
28.31032480096558
491
69.330243557563
492
64.96771916282114
493
60.42729204162044
494
39.8284598158786
495
59.32691515485155
496
35.0574644179016
497
91.34536021723304
498
51.536221795795065
499
48.35338218569738
500
51.341617684580434
501
38.432966190125306
502
66.16727621986692
503
19.133259230913847
504
19.502030523990264
505
90.44563212518688
506
72.16195698076734
507
71.82832710337048
508
81.82279463143574
509
87.1705147939368
510
93.00720605659609
511
58.763467152604576
512
52.84673596154743
513
87.72471176853061
514
95.97490838068596
515
15.794345116904662
516
8.041416703065774
517
9.197823665118898
518
68.30604487140117
519
36.86636227485527
520
77.12564370899254
521
85.55638077896892
522
91.25148834861389
523
36.457823772141275
524
48.883279095068865
525
40.18476605672968
526
55.36845392545858
527
58.36988349360281
528
90.09189409179207
529
74.5192832952331
530
64.08493462024653
531
18.72028239944694
532
17.619640943382787
533
49.93909083603981
534
66.78275537246783
535
16.017512792311784
536
39.79443703546689
537
80.4097216708065
538
47.51312115524342
539
1.8364881931134724
540
0.8253944499747368
541
59.33192870131888
542
70.94682027243057
543
81.88639030266992
544
20.357167743813264
545
15.630687024234124
546
53.274570721714895
547
9.15585653394606
548
19.16369534989162
549
31.326116605742172
550
82.51120774312966
551
38.34024561056787
552
61.53858321787909
553
55.660235574866455
554
60.0207546950412
555
33.900194436957584
556
25.11516785112843
557
19.310397873352002
558
73.06766176837598
559
62.8702669604229
560
29.650065482837395
561
86.30232356953283
562
36.81280316763333
563
57.93097452860256
564
17.729810962347013
565
80.94268997498746
566
63.411085965664896
567
6.277034853783114
568
82.41094842637594
569
92.42325123107096
570
25.73079652249031
571
5.459212591571482
572
79.47974690705114
573
90.70548266452309
574
83.70314828085121
575
28.64664840079452
576
45.31846890033848
577
83.87682331880156
578
32.42369227676254
579
58.65111745512769
580
65.29091395233407
581
9.376535346530602
582
12.865600894756291
583
82.57416123471289
584
2.1107388726688936
585
79.32134916472666
586
98.42808293509158
587
87.08260489545908
588
98.83184062551442
589
93.6179654329683
590
33.531475504954486
591
58.087462053565034
592
16.90085641772907
593
93.6316247932694
594
54.08385728538796
595
67.99581079641388
596
56.13763270404082
597
53.88690028530285
598
63.88226236445242
599
28.72470840350294
600
30.560288606751516
601
99.60899540141772
602
75.87492287885601
603
99.31075260456365
604
41.647277914484505
605
93.8707479918229
606
52.69918928208307
607
63.21847186475523
608
98.92964483155573
609
59.69266092365737
610
97.02309118419173
611
32.345206528679206
612
86.73242282280016
613
89.65028863381364
614
48.956763355565954
615
92.23967419745492
616
65.43496691776657
617
48.375301351873134
618
45.1632749621242
619
76.1960039068009
620
25.795705244990643
621
91.79364799587457
622
82.28663874293383
623
44.65447633353842
624
85.68765977607015
625
11.026194220358265
626
5.92809264470362
627
50.734794074421444
628
30.016816776923307
629
58.584315885971705
630
15.640003790657097
631
92.74722286879464
632
46.64620310384882
633
29.824909121749776
634
36.27004193149388
635
90.17145257004672
636
3.8243824977238994
637
53.58631944928125
638
56.476554549456836
639
70.86259276538792
640
47.91773286800159
641
92.50874644862307
642
76.34932621120173
643
24.138239381123384
644
74.17179891788315
645
65.74968160391883
646
37.80822489933795
647
56.92004625294692
648
37.777660648440126
649
84.6369940506928
650
33.815498256074484
651
88.2478301872441
652
27.695143303533985
653
35.259286158482226
654
5.425758941284475
655
31.25371193302079
656
21.485417337892187
657
51.07518315845654
658
39.31100852288885
659
41.07834989053539
660
75.83130960413773
661
93.33027601421182
662
72.636283211162
663
52.230858464232575
664
84.47449449290933
665
97.40241055770541
666
97.0248307035013
667
89.53853511542911
668
52.97444611707613
669
49.15311122710254
670
28.83998896018468
671
13.102030012880528
672
97.99483481398184
673
26.944906130564416
674
79.12422131140232
675
49.566151242432134
676
77.748868742839
677
82.19140513713333
678
13.274036608950635
679
69.53601592334914
680
99.7857830476185
681
34.13893584428626
682
37.89281947485739
683
94.1127794822246
684
32.47655551168498
685
23.035680986166952
686
90.25185147898969
687
52.29274496895139
688
67.35764506300437
689
99.92617236480356
690
34.40313850767075
691
65.36811371080428
692
40.91732843518159
693
31.016144134886304
694
87.22586404924039
695
4.487258991344978
696
26.460043299293957
697
59.884667334689134
698
7.5516293511228465
699
53.17687139613662
700
49.359878282391925
701
1.7776279465394174
702
82.0019063097101
703
7.8978585243179245
704
62.315140923068924
705
40.7985418463094
706
32.28439800549765
707
66.6014754733632
708
41.14174652975324
709
63.01981217314954
710
50.43330479374764
711
87.77158340572537
712
26.193899795218066
713
86.36952095418258
714
40.84173841829952
715
50.58359883304136
716
39.67637761610513
717
41.60586371632377
718
10.922863234731018
719
10.580106817269353
720
54.913467683568484
721
17.773445893661723
722
5.849577103678893
723
24.657714123364606
724
80.06538927952509
725
10.242584442213643
726
27.06082385737355
727
14.179224382355294
728
45.83385311500303
729
99.76487271361883
730
9.085976804063133
731
45.66976958810059
732
54.37415399086187
733
46.93525094048987
734
54.72692201835467
735
34.825010056194174
736
54.93196914728992
737
8.032891735308445
738
44.75080813449907
739
21.4541269356741
740
60.64885788707575
741
65.42020482985244
742
44.984708888155524
743
20.499788400887663
744
10.53120519941767
745
18.511311562815546
746
31.066713423903668
747
27.42185588409959
748
10.753122023637285
749
99.77838520546099
750
39.096211440264014
751
45.00106277994864
752
60.26465217908672
753
64.34627723721502
754
29.039511181806475
755
3.013547454222687
756
77.10233968310712
757
51.432852145051925
758
16.98508581317808
759
62.24648573505923
760
93.85007373598354
761
31.224526609550296
762
92.20613932774808
763
29.96975928242692
764
83.37383318559944
765
31.733515965926685
766
85.47638472037772
767
65.24803417631867
768
9.254788367565936
769
86.765334408191
770
96.19826102500255
771
19.372182754633126
772
69.27098021296162
773
58.33210848359101
774
17.641055485617542
775
39.20849725546689
776
14.828560421391558
777
64.67931752829658
778
21.949699056071303
779
59.40872495396023
780
84.41940638684999
781
88.55058786742967
782
79.57330651504569
783
23.193398575142798
784
84.98263268322182
785
49.39720838841636
786
91.37576074179732
787
0.8155676567267456
788
91.47338889712788
789
97.94606624331851
790
5.928961018675116
791
19.831482210346906
792
11.993030632429935
793
31.871722943295357
794
79.35263945811518
795
81.94935986131655
796
83.51059548791432
797
37.27540022955256
798
10.552902265100405
799
17.49689388092206
800
21.506261368190238
801
32.255650314483816
802
50.82496294792405
803
20.442661963942932
804
45.79326410963177
805
26.062556652791436
806
43.52378655145657
807
14.426175575350964
808
44.32551866152631
809
10.159283922297247
810
96.8696737370412
811
23.39577794926686
812
16.973979581878528
813
65.97189884580764
814
30.944091664668193
815
59.22319825916189
816
62.05554768407529
817
8.190336726944214
818
68.54429918573626
819
93.05805869217451
820
29.824141399602954
821
82.19049608798397
822
58.803664349998485
823
47.205150223182976
824
69.18426224219452
825
99.47942544463993
826
32.347791269397284
827
29.951877558721385
828
36.5632723218825
829
26.022594884823093
830
87.24488001148796
831
37.04273923254936
832
19.17925987162914
833
34.894314775296706
834
96.12204055848659
835
60.39231446389014
836
48.86727305165587
837
96.89937327386716
838
6.5575267512862805
839
77.14767462269731
840
47.17735816874738
841
10.645967019531987
842
79.2221722207056
843
40.35574584887923
844
47.63376146984023
845
67.00710120707105
846
71.23156199019604
847
56.26062401109465
848
86.84527163652997
849
1.98958439629503
850
25.783785884997446
851
12.650422184111177
852
42.58262482898169
853
16.736840863014358
854
73.39585899183811
855
17.692707045651357
856
23.989548696030116
857
33.7237497885557
858
84.91523303420323
859
19.3421760714391
860
86.76987792132932
861
14.158794292776156
862
41.97104608421576
863
1.6736932914111269
864
54.49391421852262
865
83.19077648737611
866
6.643070669200868
867
96.38838800028203
868
76.09300703548698
869
96.72445087930952
870
78.86460432986118
871
5.260013615125914
872
39.16211860260697
873
36.481409169653624
874
27.43881247849075
875
2.433320793671112
876
88.86587259996578
877
38.399615937107534
878
68.53631228223847
879
74.25570225042416
880
73.04443949654127
881
43.54699338537868
882
44.155103590070034
883
58.71795352422734
884
45.54132276064323
885
10.431507949726404
886
22.262176012438406
887
66.59941690113546
888
11.825939425245757
889
42.922246103940765
890
0.199452805546807
891
2.0574609537819755
892
93.65964219945762
893
68.95297522457737
894
43.424987433077334
895
51.670629478566866
896
22.854626167310975
897
51.76173788980384
898
32.773623806420005
899
77.83942233800248
900
48.10094299280262
901
27.627038089004262
902
25.159594714197375
903
34.968156436977026
904
53.387619886507366
905
41.893236393419755
906
55.006834878695585
907
24.99591831572183
908
41.719658324795304
909
98.5347947410713
910
16.681053895112406
911
22.61410267659184
912
33.633483548886176
913
47.590998630901026
914
71.81088727221628
915
29.902628781598818
916
66.43920934603749
917
9.509900604368514
918
19.62375815298364
919
65.13638872346606
920
57.1687915727041
921
75.77217589442485
922
53.28532182198546
923
51.15806289465874
924
9.885036540424363
925
31.1226749464786
926
0.7196758341085241
927
44.982956762218095
928
6.307113358829108
929
14.319435903224885
930
14.50077982721698
931
42.19602443558731
932
17.634057694981397
933
71.51701108279963
934
32.14383468690013
935
97.22079915391059
936
14.998509745659716
937
59.23292505894964
938
75.48863130754646
939
23.68447570282384
940
36.15872520883219
941
22.303183413444938
942
95.85515434527622
943
77.87291470085844
944
86.83766464697699
945
6.31471043297247
946
0.26505035742626637
947
82.66388453387495
948
16.543773893542447
949
63.70969557741789
950
13.260778657538275
951
19.346347466507996
952
10.758793875186779
953
78.08880274274867
954
38.71762977540401
955
0.3782139166047416
956
84.05381337449126
957
62.197272657537596
958
86.53200469405355
959
37.404394785717656
960
41.9954392522685
961
81.65992304160422
962
20.18266924076515
963
35.75164995279323
964
3.6298629510375213
965
18.73816332699706
966
62.899968224458846
967
79.13614299887361
968
40.883281815249376
969
18.21408979213578
970
72.54126572208432
971
16.464219443080662
972
96.39297482949391
973
50.96381687306874
974
58.259163871247445
975
26.376437661738894
976
87.08410382520398
977
89.86419426301305
978
65.66232176371469
979
14.579392110531419
980
87.23305625266325
981
17.384119615290604
982
1.4069798470259243
983
94.02942217755323
984
11.809007309566056
985
74.54366401616271
986
3.0206085303986274
987
8.676834378154085
988
88.5610297344273
989
16.881277260331263
990
85.24731728666337
991
87.74876426926915
992
15.619037473203878
993
64.65135187674484
994
10.318005961551114
995
59.44338960104412
996
50.302436707736184
997
21.68148226232568
998
36.28647184644544
999
10.427684121873892
1000
64.3813120025237