Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_memory_test / memory_test_memory_test_input_values @ 0c9457a0

History | View | Annotate | Download (6.75 KB)

1
18.54671478848182
2
69.39633633033353
3
31.158437310945253
4
10
5
87
6
92
7
1
8
0
9
1
10
79.83597910523783
11
2.0394094319683864
12
65.68048563045156
13
76
14
13
15
56
16
1
17
0
18
0
19
93.40715547116827
20
98.22312670624058
21
72.53961739296693
22
25
23
1
24
82
25
1
26
0
27
0
28
87.55962503798219
29
2.334333528682875
30
60.5867543196697
31
73
32
11
33
54
34
1
35
1
36
1
37
66.07997683862381
38
84.01537824190386
39
6.865337859888632
40
33
41
79
42
56
43
1
44
0
45
1
46
23.3019230638556
47
11.304455846361384
48
15.694768915940926
49
68
50
6
51
54
52
1
53
0
54
0
55
20.376225219035295
56
95.35396821968624
57
54.99219770105709
58
71
59
80
60
3
61
1
62
0
63
0
64
24.314270618069077
65
23.775679601384603
66
54.91640224214096
67
83
68
29
69
32
70
0
71
0
72
0
73
58.59065537594499
74
45.641196176038335
75
89.7928524608726
76
67
77
38
78
42
79
1
80
0
81
0
82
92.01871676521269
83
50.73358194497376
84
11.232200279732563
85
31
86
72
87
39
88
1
89
1
90
1
91
50.17402115703267
92
86.0079952892045
93
65.12383059693049
94
91
95
47
96
82
97
0
98
0
99
1
100
68.19781626079894
101
46.52040274714506
102
37.94742631101518
103
94
104
56
105
66
106
1
107
0
108
0
109
86.1660342290901
110
50.40591331606761
111
17.212013952166295
112
1
113
93
114
43
115
1
116
1
117
1
118
87.59791280531535
119
77.8515292990207
120
68.85448672665478
121
48
122
3
123
90
124
0
125
0
126
1
127
90.77755052619078
128
3.369098131471071
129
81.59643988748817
130
99
131
20
132
79
133
1
134
0
135
0
136
62.48481556201475
137
45.9276918672378
138
78.49505385360662
139
72
140
86
141
45
142
0
143
1
144
0
145
49.03004205293843
146
80.48229912238642
147
71.59397914538319
148
25
149
58
150
17
151
1
152
0
153
0
154
23.147815261919412
155
10.907418300017756
156
32.48458154738304
157
6
158
70
159
75
160
0
161
0
162
0
163
63.75500520668923
164
73.01666718514655
165
63.964627026039125
166
29
167
87
168
87
169
0
170
0
171
1
172
3.680072174528881
173
77.86752982472652
174
3.506580393800074
175
94
176
37
177
72
178
0
179
0
180
1
181
56.525399942623054
182
91.49593415907472
183
34.03401543883287
184
42
185
15
186
99
187
1
188
0
189
1
190
24.570380323552264
191
85.11779744726479
192
61.10342834577895
193
76
194
14
195
38
196
0
197
1
198
0
199
75.23583323892132
200
48.13133846119141
201
75.9879550638816
202
69
203
38
204
11
205
1
206
0
207
0
208
82.72339260093266
209
89.34910289753724
210
22.785102906596133
211
5
212
52
213
33
214
0
215
0
216
0
217
66.06768548193807
218
25.11438829043979
219
34.38567668824658
220
94
221
49
222
91
223
1
224
0
225
1
226
15.482398085329175
227
67.58276847881942
228
80.246749440104
229
59
230
80
231
77
232
1
233
1
234
1
235
9.469896476133133
236
44.68244056345739
237
60.14562336111135
238
37
239
90
240
20
241
0
242
0
243
1
244
58.06077127050175
245
53.2519978912704
246
87.63045727169876
247
48
248
15
249
21
250
1
251
1
252
1
253
8.555702632529572
254
27.672751688419428
255
88.33956323607576
256
66
257
85
258
2
259
1
260
1
261
0
262
63.49528540644771
263
92.98459915066417
264
18.786263201626507
265
70
266
10
267
85
268
0
269
0
270
0
271
53.96012631303987
272
19.956483006759708
273
16.087904302261858
274
31
275
34
276
94
277
1
278
0
279
1
280
0.816413977267838
281
51.76956015970242
282
67.38180428057319
283
27
284
86
285
32
286
1
287
1
288
0
289
71.7225174404733
290
80.69494638116603
291
36.68104647193059
292
67
293
21
294
35
295
0
296
0
297
0
298
90.58793185548149
299
7.178165805842706
300
77.47970036550869
301
41
302
29
303
29
304
0
305
0
306
0
307
90.15305255444761
308
62.78609735773733
309
60.75873747677021
310
49
311
79
312
47
313
1
314
1
315
1
316
77.29997185618461
317
58.17378466333898
318
52.84617183324808
319
69
320
84
321
32
322
0
323
0
324
1
325
37.91155120180918
326
74.17013766718419
327
26.96130886693243
328
51
329
51
330
10
331
0
332
0
333
0
334
75.3069115020217
335
30.782627852514345
336
0.7739897213891012
337
42
338
11
339
64
340
0
341
0
342
0
343
8.671548077883518
344
88.83879094227348
345
72.92382798295782
346
82
347
6
348
16
349
1
350
0
351
1
352
59.08334056545254
353
91.51110511833063
354
20.597376072606355
355
49
356
24
357
9
358
0
359
0
360
0
361
97.76208733834511
362
78.44367238028342
363
2.816104441463141
364
64
365
35
366
53
367
0
368
1
369
1
370
99.52848097410411
371
79.88369491915356
372
48.34599439441788
373
49
374
89
375
43
376
1
377
1
378
0
379
33.0741963917594
380
59.32489558751891
381
49.838643570461116
382
71
383
17
384
75
385
0
386
0
387
1
388
75.88144081035608
389
43.8384824233777
390
17.1296805014446
391
39
392
86
393
83
394
1
395
0
396
0
397
86.28859033082288
398
95.58187599570562
399
91.16657794309798
400
95
401
0
402
97
403
1
404
0
405
0
406
17.516702617001734
407
5.95586570904435
408
87.86517433956699
409
15
410
17
411
43
412
0
413
1
414
1
415
61.125638899174575
416
66.48406592688431
417
28.790674416137428
418
7
419
32
420
97
421
1
422
0
423
0
424
51.47129538860037
425
4.609138790483447
426
46.85053908906539
427
8
428
15
429
53
430
1
431
0
432
1
433
12.838180294771506
434
96.07010799554105
435
2.536566320656808
436
76
437
11
438
50
439
0
440
0
441
0
442
50.012101996950285
443
42.114006027818306
444
55.46254955445013
445
1
446
64
447
6
448
1
449
0
450
1
451
57.56229332266377
452
54.20973432295981
453
51.250343542858175
454
52
455
19
456
41
457
1
458
0
459
0
460
87.88383751895277
461
31.8173246110791
462
72.8968695844755
463
49
464
28
465
83
466
0
467
0
468
0
469
81.41067868247632
470
71.70344399163683
471
84.7207095952892
472
12
473
66
474
97
475
1
476
1
477
1
478
31.085200820560754
479
67.80365767217322
480
55.390326967487304
481
89
482
9
483
82
484
0
485
1
486
0
487
57.337806805518724
488
67.17086278062489
489
72.36492348057608
490
88
491
62
492
61
493
1
494
0
495
0
496
88.1027887299761
497
44.51151440227004
498
64.75915312406418
499
15
500
2
501
96
502
0
503
1
504
0
505
22.82556050075042
506
60.52936092731207
507
95.03777310784446
508
9
509
53
510
4
511
1
512
1
513
0
514
60.489342709124585
515
29.03943596776668
516
95.3565871133328
517
73
518
83
519
82
520
1
521
1
522
0
523
63.33260012726013
524
46.79040561082955
525
43.52986133518171
526
4
527
70
528
3
529
1
530
1
531
1
532
32.50499264188501
533
36.28534957432707
534
51.697775803454114
535
40
536
87
537
28
538
1
539
1
540
0
541
85.22020841136897
542
24.701800561606547
543
81.40354922163569
544
3
545
71
546
13
547
0
548
0
549
0
550
39.247125331417934
551
76.30089944878246
552
79.01939280734324
553
68
554
62
555
8
556
0
557
0
558
0
559
47.51193285905604
560
17.43981800190332
561
20.77185221831669
562
70
563
93
564
81
565
0
566
0
567
0
568
49.276579426157255
569
34.355772792945984
570
65.93600441388895
571
14
572
21
573
93
574
0
575
0
576
0
577
54.36384806227893
578
87.10597489138947
579
87.45772183339702
580
26
581
33
582
41
583
1
584
1
585
0
586
91.20488837170689
587
7.195265113383565
588
2.1246853836241475
589
60
590
85
591
57
592
0
593
1
594
0
595
89.51679895800564
596
31.209004142305307
597
76.67807437952992
598
7
599
46
600
55
601
1
602
1
603
0
604
44.03933162971205
605
53.8376768928056
606
84.61391590036024
607
34
608
81
609
65
610
0
611
1
612
1
613
0.2715235085994583
614
57.61331777231982
615
21.979044635208034
616
20
617
48
618
22
619
0
620
1
621
0
622
98.28956413103757
623
25.996347532143314
624
23.772373176741056
625
82
626
64
627
81
628
0
629
0
630
0
631
11.67207592056192
632
64.61110487172328
633
18.60592077853761
634
17
635
52
636
75
637
1
638
1
639
0
640
78.92164328462285
641
21.824472137754324
642
4.487709249682692
643
38
644
88
645
53
646
1
647
0
648
1
649
71.6025062276287
650
4.825917336720654
651
57.82324404733278
652
38
653
94
654
48
655
1
656
0
657
1
658
2.2023141614810338
659
57.16909002826187
660
9.294956204949823
661
58
662
59
663
13
664
1
665
0
666
0
667
94.39628244255383
668
85.58143431287418
669
40.90765012472828
670
17
671
10
672
7
673
1
674
0
675
1
676
16.30841393291208
677
70.88392682165224
678
8.358751403217147
679
3
680
49
681
82
682
1
683
0
684
0
685
84.32748690111754
686
54.16983570453272
687
50.617982118527834
688
15
689
80
690
74
691
1
692
1
693
0
694
50.283302689842266
695
74.98906695171776
696
66.23307459869689
697
32
698
55
699
39
700
0
701
1
702
0
703
80.99731480695907
704
34.1300198501522
705
63.9042809458027
706
85
707
14
708
53
709
0
710
0
711
0
712
67.50429109407905
713
26.578673829327258
714
7.216728532979467
715
70
716
20
717
88
718
0
719
0
720
0
721
76.14896507570985
722
18.196687093254795
723
92.44928956870902
724
91
725
33
726
96
727
0
728
1
729
0
730
88.28198180172937
731
36.366331971684154
732
19.892361240089006
733
68
734
35
735
35
736
1
737
1
738
0
739
5.838554944849483
740
85.00705565253523
741
37.34313308623827
742
50
743
92
744
89
745
0
746
1
747
0
748
11.544600569734499
749
38.620749327543855
750
67.08128482321528
751
10
752
51
753
89
754
0
755
0
756
0
757
23.159159797777452
758
89.95282494368182
759
40.77383034756323
760
80
761
37
762
67
763
0
764
0
765
1
766
27.767275650337233
767
28.982992154417587
768
99.96596902074786
769
28
770
36
771
24
772
1
773
1
774
1
775
4.85970772467279
776
85.74068312870222
777
11.07340948786758
778
41
779
78
780
26
781
1
782
0
783
0
784
74.38838332839921
785
30.269536088874982
786
54.5265297819336
787
42
788
20
789
29
790
0
791
1
792
0
793
40.219870489652564
794
55.27555312577357
795
87.79134902440833
796
95
797
14
798
20
799
0
800
0
801
0
802
40.91203642566749
803
71.85386412449762
804
34.707140517762056
805
13
806
79
807
22
808
0
809
1
810
1
811
92.4367551998864
812
88.40645545043026
813
0.6741325012352917
814
70
815
6
816
64
817
1
818
1
819
1
820
83.7278478174599
821
65.58248432389819
822
59.87276865733089
823
71
824
4
825
44
826
0
827
0
828
1
829
11.54861190854428
830
4.87569470512944
831
60.511731673286974
832
47
833
61
834
59
835
0
836
0
837
1
838
60.3861273110425
839
30.419618153656703
840
74.13620316113882
841
1
842
58
843
4
844
1
845
0
846
1
847
13.565389095397428
848
18.487868984843224
849
0.7688804791452841
850
91
851
33
852
14
853
0
854
0
855
0
856
39.64869742353292
857
59.12802201268401
858
82.02985859028253
859
7
860
28
861
37
862
0
863
0
864
0
865
22.995445749618902
866
52.0659236486477
867
66.75099059040406
868
16
869
96
870
17
871
1
872
1
873
0
874
87.09255061117702
875
33.281758279440645
876
88.7663703584551
877
25
878
74
879
79
880
0
881
1
882
0
883
5.352311497998641
884
49.18733441780033
885
23.761647096700976
886
64
887
61
888
24
889
0
890
1
891
1
892
66.37562181166153
893
77.76994490955263
894
83.97654135254284
895
23
896
67
897
68
898
1
899
1
900
0