Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (15.6 KB)

1 6c3ea955 bourbouh
99.5623692737545269
2
8.6242801247931151
3
50.0111750714488323
4
1.0000000000000000
5
34.6501653202528246
6
71.9387519777702096
7
94.6414667045498987
8
88.4529581763190151
9
66.9101694110880771
10
43.5953698026166592
11
35.1905653364875235
12
1.0000000000000000
13
50.7948639272130507
14
11.6641577399520191
15
78.6121982306531919
16
75.3738351148369361
17
71.4366744340731259
18
7.0811661137972548
19
23.2636050272737478
20
1.0000000000000000
21
80.4160915901420736
22
94.5359003897313954
23
89.8820962170417346
24
30.3886090958752639
25
85.3373259669626236
26
75.2034326853836035
27
61.5358313696256403
28
1.0000000000000000
29
86.9066063881962378
30
0.3321633584344230
31
73.7164665239292134
32
5.3334349270889874
33
50.4317253916371513
34
84.3579820706679016
35
89.1424236612840559
36
1.0000000000000000
37
40.6937144280183318
38
47.5719212197963515
39
15.2895695174587125
40
92.3705160114615182
41
99.7389718172670712
42
89.2474032107056985
43
18.8095697011375975
44
1.0000000000000000
45
2.1710610519927953
46
53.1091984914706572
47
47.1251712250441415
48
57.4469107985169174
49
40.5549957169860207
50
20.5424599809501913
51
89.5990025025098760
52
1.0000000000000000
53
70.2299274542751277
54
63.8285087888027931
55
64.4856604075162494
56
0.0595748055072565
57
43.3781586608947975
58
52.8478423276313194
59
58.3193255827453498
60
1.0000000000000000
61
11.0431432403791945
62
78.9989887590221826
63
17.1691639013961002
64
18.2709446671564208
65
5.9481305956048498
66
7.2318371265694736
67
66.2312822541051389
68
1.0000000000000000
69
11.7947948752723182
70
38.1468755899678982
71
65.1741024380935983
72
22.5142951367806603
73
31.4561725204444578
74
48.4733467730283607
75
72.3028076217596549
76
1.0000000000000000
77
8.6591868988181275
78
99.5410447942435468
79
69.2493217444532263
80
42.5010336839845877
81
69.1013179463165557
82
0.7499872521909201
83
41.6219837617247563
84
1.0000000000000000
85
67.8475050227407621
86
58.8852008153343149
87
84.0002883255938144
88
62.3187550677605557
89
69.9302102169422852
90
23.7167264304068759
91
18.1930890596488695
92
1.0000000000000000
93
85.2545551801348438
94
72.5016538837858064
95
82.0781562430749148
96
27.8101408086230641
97
72.7427878142566726
98
25.4507038760718132
99
98.8941190913048302
100
1.0000000000000000
101
36.0663439192569371
102
8.1274051328956922
103
8.0656006616916738
104
20.0087102482431440
105
84.2270226676845510
106
98.6164168176608911
107
45.7891601869355043
108
1.0000000000000000
109
66.0735752125057871
110
7.2404312940384514
111
41.1801236148448240
112
59.2442050457948497
113
15.6718949070421605
114
31.1525804714635086
115
14.8378135636275879
116
1.0000000000000000
117
17.7699259425251874
118
4.9675438205219464
119
18.1293352347073551
120
44.1377139097900439
121
11.1467457475270209
122
20.0520297298830243
123
12.1417794215272767
124
1.0000000000000000
125
49.0535147821899002
126
9.8427744117422051
127
43.1874407596148941
128
52.4371961552401089
129
96.4223745209468177
130
15.9999273659940382
131
39.8543254796074677
132
1.0000000000000000
133
61.8911368010044214
134
34.2816972877499495
135
49.4013409962925962
136
61.2637356254880103
137
95.2027272446684520
138
28.3037685142569870
139
58.7958220114990198
140
1.0000000000000000
141
93.8260964349853168
142
89.2920208798973789
143
25.5072491688159140
144
54.3505555605743851
145
14.6004596883869908
146
2.2447056778967300
147
71.6321772539708235
148
1.0000000000000000
149
43.0658915351331260
150
99.0101673054750790
151
89.9053702557964414
152
89.3374704760684466
153
8.8549247855804971
154
31.3226369549630235
155
38.7175724559323839
156
1.0000000000000000
157
71.9242469094132844
158
61.4236543176456351
159
64.5933401695990312
160
39.9799957582106416
161
22.4365514593760089
162
33.4914235750246903
163
90.4172318033329816
164
1.0000000000000000
165
19.8082222409292079
166
97.0130290408322509
167
94.8596929109790921
168
54.0918577971501691
169
51.8081981119898671
170
87.7056048727739892
171
25.7986175113404173
172
1.0000000000000000
173
43.4118205927248795
174
33.0406506283065653
175
46.2655980489909169
176
70.3497005179754211
177
41.6823752400864649
178
23.9171544530088944
179
58.7265841957181038
180
1.0000000000000000
181
9.4413506141843300
182
88.0476161621699021
183
90.7578513160978844
184
27.2424156522122480
185
91.5495225281128313
186
62.5286175543084966
187
7.7198912486924343
188
1.0000000000000000
189
25.3925274702086021
190
75.5642987397725534
191
28.2600238395897776
192
67.9310297888162609
193
50.6248871954292881
194
4.3141665640758609
195
66.8046604308929801
196
1.0000000000000000
197
26.5289699771303127
198
5.5717523828733073
199
16.0318516422236712
200
92.9267861849408092
201
17.5796970975526499
202
21.8870875321286675
203
59.5833991155813294
204
1.0000000000000000
205
28.6751228877437541
206
59.1979375233299692
207
90.6615332751965326
208
3.3935067678262376
209
33.6992561197123379
210
33.2137489571927986
211
21.7395618295179176
212
1.0000000000000000
213
81.6731977703072687
214
65.3119734460596817
215
51.3186762603830999
216
68.1251574877905881
217
62.7195314115075107
218
48.7856929344857377
219
44.8552230961122262
220
1.0000000000000000
221
13.5404650726483329
222
47.0463667544591004
223
90.7828015559882715
224
96.3393536617831501
225
17.0939898288668282
226
75.7803480297334460
227
77.6671484786331803
228
1.0000000000000000
229
59.1832008558287654
230
58.0509013178057600
231
72.7704270395522599
232
11.4247092700494264
233
56.0008613151741343
234
23.4069578195528436
235
48.8261852088622135
236
1.0000000000000000
237
71.6253231157655108
238
65.0757129381542256
239
79.2301851788334091
240
83.5881876031635613
241
69.9969838760335392
242
22.2766038871753729
243
74.2338365274997898
244
1.0000000000000000
245
15.6004105824425920
246
70.2022272674429360
247
90.3007322485127162
248
7.2800154115897016
249
32.4097753118609191
250
96.4457100488931189
251
10.8412982523497288
252
1.0000000000000000
253
34.4266267888106867
254
88.4487408769341954
255
96.7687603490653601
256
91.3068926777540923
257
48.4922610393526696
258
79.5832079387825075
259
57.7961490621123772
260
1.0000000000000000
261
32.7806285036125828
262
68.5430304738702034
263
61.1047625049731096
264
13.2136238491273872
265
40.7241577888767381
266
4.6366110789410779
267
92.6837582274140033
268
1.0000000000000000
269
68.5789011299110030
270
38.6225604281586357
271
49.3339630080116365
272
76.8035062369944512
273
88.4445970674234303
274
65.1854099552779900
275
21.1179442703364195
276
1.0000000000000000
277
97.8800156044677010
278
72.8633113709400249
279
36.9277063614416363
280
26.0913865247092147
281
72.7141445754152613
282
41.4653571581367828
283
24.9717700318697666
284
1.0000000000000000
285
96.0489448477736971
286
80.4531301545879103
287
38.0638266024403649
288
85.2628313310676305
289
84.8176711847451799
290
64.1407259068919444
291
15.2544221255785821
292
1.0000000000000000
293
47.0911365970290490
294
91.0169826842907952
295
33.1009616618430087
296
2.5610742432556233
297
18.8164864793728626
298
49.5729966124941370
299
0.1963977557231433
300
1.0000000000000000
301
33.1258585355804342
302
79.7947364786948157
303
5.6777186043112433
304
40.7055417922853948
305
60.4771582533538492
306
44.1548884365841303
307
87.2911471329792477
308
1.0000000000000000
309
98.0136759364070400
310
78.9730280364595671
311
28.1106923235157282
312
26.1211072593775739
313
78.0250254624948525
314
66.7369600399739511
315
75.5243364796028658
316
1.0000000000000000
317
36.3821799927877549
318
49.9125050570260598
319
90.5631006898284170
320
2.5841147709227963
321
40.4788720337372681
322
11.1804822980917642
323
57.4298572631439583
324
1.0000000000000000
325
89.5817441768892166
326
45.1389127125348537
327
39.0983909851425864
328
96.6573219563838677
329
4.1351351304728778
330
79.6560531298785861
331
45.8548242021463039
332
1.0000000000000000
333
31.0386087120560710
334
49.4965840485321635
335
18.7601236327478951
336
82.3789624855186702
337
4.5119463714188406
338
98.5746818304323256
339
3.3508510525889434
340
1.0000000000000000
341
44.0795257134348830
342
29.8364661799944244
343
95.2234036906121588
344
48.8657197074493723
345
77.4075232166036216
346
4.4117434818885641
347
65.7593790015255024
348
1.0000000000000000
349
2.4618649214019239
350
7.0571495615624258
351
73.9587636431825786
352
28.6538748624896371
353
64.1267854652832625
354
68.6860331819536185
355
33.1227946571202949
356
1.0000000000000000
357
65.8809486197848457
358
37.0091180429463975
359
1.8162512178495738
360
99.5133002185994826
361
65.8052921052934892
362
37.9117521693349673
363
96.7396516964051756
364
1.0000000000000000
365
74.9051890459189877
366
90.1451823386032487
367
36.7595544104256859
368
62.0103957738766383
369
59.0930996565937505
370
25.4502504864498107
371
0.7960635803356486
372
1.0000000000000000
373
31.2135275345104546
374
77.1637276224682012
375
37.2668708699185700
376
73.4646770318457101
377
17.1543020824072698
378
58.8210707204891179
379
23.8885948405769497
380
1.0000000000000000
381
31.0950713731590902
382
66.4164326524326043
383
44.4945496673416443
384
53.8238280577305019
385
34.5774636824319117
386
19.1290751119113196
387
63.2635395888287988
388
1.0000000000000000
389
96.6523801810391063
390
26.8864345073374551
391
77.4083869833294642
392
22.0486773745325877
393
69.2904843505892813
394
76.4606915511538716
395
33.7855207791198069
396
1.0000000000000000
397
10.4097397614216991
398
33.3892053511780063
399
70.1585050982716609
400
60.6935167206849897
401
26.1243162799355666
402
6.1979240775204447
403
27.0637678261868011
404
1.0000000000000000
405
78.6394118430649627
406
11.9553379991122473
407
70.0788045217354636
408
53.4531934716034769
409
36.0309264930513606
410
21.0997873433581020
411
34.6884678220690574
412
1.0000000000000000
413
3.9766841060748903
414
35.7669298006721448
415
97.5915883686405294
416
8.6610072053159968
417
17.0028241144783223
418
34.7434038000384717
419
18.6460583570004488
420
1.0000000000000000
421
48.5815308535836223
422
42.0296067613483117
423
61.9753643092870945
424
46.2774611322837259
425
44.2642108850273104
426
24.1877467174351324
427
9.8694868294214810
428
1.0000000000000000
429
4.7469986769705148
430
38.5023706421019583
431
27.5474415103920904
432
5.6041941488450870
433
99.8021856012741040
434
8.4437999662984602
435
62.3046130197896773
436
1.0000000000000000
437
49.6493975460833923
438
22.3577128777316396
439
1.5198983362487373
440
43.1582727461440356
441
99.8330704982496258
442
14.0139859308993309
443
93.3674647091283845
444
1.0000000000000000
445
63.4291028652800719
446
10.9159137097386676
447
38.3864545731810693
448
25.3011306192926995
449
67.7650879488273858
450
18.1424603089429546
451
79.1671282558612432
452
1.0000000000000000
453
9.9875539923296444
454
99.4222591511204996
455
7.2740055314333922
456
5.1884973793702827
457
36.0519266744793967
458
26.7362881886154860
459
0.0504746724099170
460
1.0000000000000000
461
87.8725910566175941
462
65.7173029884568649
463
77.2415119823861289
464
5.3981111341806827
465
46.4041485058592542
466
37.2427514775719857
467
85.3835059758403503
468
1.0000000000000000
469
69.2730722110405566
470
5.3812537781711578
471
87.9792761524361993
472
87.2583099368170281
473
34.0242575277108301
474
9.8294455422330511
475
50.2547104398817197
476
1.0000000000000000
477
78.0032899141647960
478
82.6232829667377757
479
60.1509238104017783
480
37.4789981451726959
481
53.3425610335935616
482
66.6310269964582744
483
46.4219067226472077
484
1.0000000000000000
485
33.6512834455172580
486
84.3307888679557038
487
61.6524058764859504
488
54.8733960054722729
489
82.5943256111575153
490
35.5652857660750854
491
41.3430166308637297
492
1.0000000000000000
493
70.5758866342603142
494
69.7811360822615825
495
42.0352403594586619
496
85.1836534607540443
497
85.4152487031451813
498
3.6005216218422786
499
34.1751660039141569
500
1.0000000000000000
501
53.4812355770204562
502
78.2170826155386294
503
33.9318427253358337
504
5.0548934134588936
505
20.8740098533292553
506
59.9924815939252838
507
3.3149497184940979
508
1.0000000000000000
509
66.5445623020111867
510
95.6903440719729161
511
11.0012564467374503
512
6.5423984424754833
513
18.3101231163312228
514
66.3232616649139430
515
21.2780749457382683
516
1.0000000000000000
517
61.7731165600954668
518
49.5692460828081138
519
22.3487153851333886
520
11.8717841494551006
521
26.8524455386748180
522
94.5604158104132324
523
78.7681567806987459
524
1.0000000000000000
525
7.0098849333592668
526
67.6736723339397201
527
45.4537798064847181
528
63.0184663988255807
529
73.6578802239847903
530
15.0957344372589226
531
81.0365801492574178
532
1.0000000000000000
533
49.5352963741012786
534
27.8729855726631328
535
6.3784165294571977
536
12.0495099546206959
537
83.5182837608993509
538
83.8349564760686405
539
35.3052826024148558
540
1.0000000000000000
541
44.9681945793259672
542
90.2645404357914458
543
78.4342936101377859
544
71.4289087414110782
545
83.5830045802695594
546
35.0978645690182987
547
83.2336516851515427
548
1.0000000000000000
549
85.6110619426515314
550
89.7536546302051477
551
0.9962149670491693
552
14.6034603360856821
553
64.5648398035984883
554
55.1994686077355325
555
48.9802175114392924
556
1.0000000000000000
557
48.6585659342160142
558
15.4296396807003795
559
99.0715240081137551
560
68.9996954617535181
561
23.7936854992257700
562
11.7740319960876185
563
97.2170127345665946
564
1.0000000000000000
565
76.9969513053550827
566
65.6886293582906688
567
88.9270750046148777
568
13.9637387002207962
569
21.8231970245921794
570
71.6709955805708887
571
85.1925301360452920
572
1.0000000000000000
573
89.7926061201218033
574
56.8418506361785703
575
77.3546366771150531
576
37.4909289777405377
577
43.3975047695944056
578
58.8970476851942593
579
81.6427717317589128
580
1.0000000000000000
581
99.2221948380113048
582
67.1098820319186729
583
4.9398143481717121
584
35.8700093027924609
585
86.8845021792437677
586
57.6298469801387014
587
20.9058977663123073
588
1.0000000000000000
589
83.5840556770497756
590
40.1077910977308392
591
73.6888299860291482
592
45.8727856456941936
593
23.9199880361342636
594
48.2189846101712547
595
95.9400413251272681
596
1.0000000000000000
597
64.6959256349289262
598
32.1687081672944046
599
86.0079326715804626
600
38.4636147731153528
601
42.3139898250712321
602
34.3165080055894549
603
49.9891750178226957
604
1.0000000000000000
605
81.9465353697539740
606
82.8127099362383916
607
31.0568671313712130
608
69.5921167995915795
609
59.7384633603377679
610
71.1607016721869741
611
99.5690792615882287
612
1.0000000000000000
613
96.4106746400374988
614
17.8717850868075665
615
54.0555127066642314
616
59.8960154890001633
617
44.0480965713801709
618
91.6853479886977709
619
86.3146653218689721
620
1.0000000000000000
621
92.3422817705989161
622
26.8610624650647551
623
95.0335613450345420
624
66.8558866872400870
625
9.0191825505286261
626
25.3286206913710394
627
29.1246481642566835
628
1.0000000000000000
629
2.1870735964973798
630
26.6617239786185358
631
25.3302899471115168
632
94.0400373329016190
633
13.6124214226489908
634
47.0182501819555370
635
91.3028324287211888
636
1.0000000000000000
637
59.9648596087847139
638
39.1184776712905986
639
94.5964204126216544
640
23.8135574178691023
641
17.6600930176223372
642
32.9804215833298358
643
46.9058535754870789
644
1.0000000000000000
645
90.0826237298399661
646
48.7291001995429554
647
64.8324300135432452
648
60.4970607413061856
649
86.0698894333918219
650
48.2397917220804970
651
77.0433456475670226
652
1.0000000000000000
653
21.6559783353431285
654
49.7864619860788764
655
32.0655948266207602
656
93.8574801118460584
657
11.2856932050542262
658
28.3139056212312497
659
87.0636887982033443
660
1.0000000000000000
661
12.8666233182169858
662
67.9483341422944562
663
22.8664784079011909
664
18.9710511342843127
665
39.6562176615439128
666
37.8019705167218305
667
71.3119876318708492
668
1.0000000000000000
669
49.1125158843575420
670
62.1636282094512467
671
86.9534198262804807
672
18.4062767700600389
673
99.9676130686582525
674
6.9012836171543075
675
11.9659996149089292
676
1.0000000000000000
677
38.1732658848181856
678
85.1666340516234186
679
96.9254079243313811
680
95.6745143602975503
681
34.7325562998315291
682
54.9460837912731606
683
54.4165393601716119
684
1.0000000000000000
685
44.4828123311683967
686
67.8321130825560488
687
53.7996979230055956
688
48.8731990219504411
689
77.6350115478471707
690
43.2389520932333369
691
67.7373212355189054
692
1.0000000000000000
693
45.0573372850108029
694
56.8101447248664542
695
80.3455680380023836
696
63.7267810466571305
697
0.8631300184140822
698
52.1981556084778049
699
87.4354393671692662
700
1.0000000000000000
701
5.6618061601911407
702
17.7401106617469004
703
31.2397364406370457
704
85.2310763502232334
705
22.0562226658065583
706
5.7221985810480653
707
88.3175027893031199
708
1.0000000000000000
709
99.0525370800905591
710
35.7355106244470093
711
3.4718989996062044
712
71.4054933229790123
713
30.4879320095795876
714
35.2114290523411455
715
68.2164426900516645
716
1.0000000000000000
717
30.1936178228565453
718
26.2791009993458715
719
47.6844512707246935
720
2.7653499179706609
721
40.3550061931213122
722
98.3537328585395869
723
98.5852691590943238
724
1.0000000000000000
725
93.6121172953435234
726
31.8729558014267056
727
54.1582375348725193
728
78.2570261180253937
729
21.6073139567228942
730
93.0935152881311296
731
7.6520449321943573
732
1.0000000000000000
733
68.8053476614848449
734
95.0302049684602537
735
35.0913587149155433
736
35.8259481475893367
737
62.4775030337127433
738
92.2110400563382058
739
1.3586082403815647
740
1.0000000000000000
741
89.5213156714240483
742
29.8668152946292018
743
20.1240034476909848
744
96.2848318846525615
745
43.1563141836405890
746
9.6640575332774592
747
39.0562757503474245
748
1.0000000000000000
749
93.2745152252915233
750
9.3207909847182524
751
41.6995486025907880
752
3.1451972858798527
753
6.4607138830722999
754
35.5378843155603619
755
74.5524510037744932
756
1.0000000000000000
757
68.7997223552455921
758
6.0784576255736633
759
27.4748527439366725
760
64.8138895808943403
761
47.5964998004408244
762
50.0334744275284322
763
21.8511337003511663
764
1.0000000000000000
765
17.6490485374068875
766
48.4364002452591222
767
79.7573368169546910
768
59.3600590464536069
769
15.3124189357503599
770
48.6214669188840034
771
4.7573414894589323
772
1.0000000000000000
773
70.4595601284863164
774
83.1989030192390970
775
6.1458622203007574
776
77.1938967560771800
777
89.2004608410568807
778
98.9798075576241416
779
5.8669985350271237
780
1.0000000000000000
781
25.3214902641651349
782
93.9131252095467914
783
54.3929309169438469
784
58.1541404729670290
785
77.0664847997661298
786
76.8738615362088638
787
74.2085736339367799
788
1.0000000000000000
789
75.7411794432332925
790
46.2015494062301926
791
84.8161251816107296
792
10.9059021812249473
793
41.1935625007400361
794
11.7605125039162104
795
78.1009154837853430
796
1.0000000000000000
797
37.7984471840187766
798
5.2788123873465214
799
64.1050244280131949
800
42.9926719874717662
801
53.5564697035773065
802
55.1889982034405762
803
53.3706348029788913
804
1.0000000000000000
805
55.9199801524286357
806
98.3487393610542995
807
34.5872489960733276
808
89.6370599753415433