Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_unitdelay_test / unitdelay_test_unitdelay_test_input_values @ 0c9457a0

History | View | Annotate | Download (5.18 KB)

1
66.73297023763126
2
63.81078637377472
3
0
4
17
5
40
6
4
7
0
8
1
9
0
10
57.57154366158458
11
61.78746479564976
12
1
13
44
14
4
15
30
16
0
17
0
18
0
19
64.11204957892933
20
55.837269072655296
21
0
22
97
23
76
24
49
25
1
26
1
27
0
28
69.92358519111788
29
92.98015319634484
30
0
31
9
32
33
33
92
34
1
35
0
36
1
37
34.96621795531384
38
99.85599819851446
39
0
40
75
41
37
42
41
43
0
44
0
45
0
46
88.22437949016255
47
53.64309178218606
48
0
49
67
50
36
51
96
52
0
53
1
54
1
55
25.879971255684563
56
22.000704713189588
57
1
58
69
59
1
60
43
61
0
62
0
63
1
64
98.13420162456688
65
80.25195853098386
66
0
67
41
68
83
69
45
70
1
71
1
72
0
73
47.58615812188878
74
24.393634512544338
75
0
76
34
77
62
78
65
79
1
80
0
81
1
82
7.818951665414242
83
63.805001406365804
84
0
85
47
86
79
87
82
88
1
89
0
90
1
91
34.80383733387512
92
73.197446736102
93
0
94
19
95
53
96
89
97
1
98
1
99
0
100
20.926960407044305
101
92.45170793361255
102
1
103
1
104
78
105
93
106
1
107
0
108
1
109
77.31364851153748
110
50.41785649670483
111
0
112
15
113
17
114
92
115
0
116
1
117
1
118
70.9802587556164
119
29.219188358643954
120
1
121
42
122
57
123
71
124
1
125
1
126
1
127
96.00243600871944
128
47.68278010066558
129
1
130
69
131
24
132
13
133
1
134
0
135
0
136
88.30879958094235
137
54.57844951695311
138
1
139
23
140
2
141
99
142
0
143
1
144
1
145
33.09069705994483
146
98.85654503688231
147
0
148
27
149
83
150
93
151
1
152
0
153
0
154
53.52651618193397
155
99.94452008664044
156
0
157
62
158
39
159
80
160
0
161
0
162
0
163
41.768979755896595
164
6.012023227860563
165
1
166
35
167
6
168
94
169
1
170
0
171
1
172
80.48683719430863
173
91.99207667538691
174
1
175
71
176
15
177
89
178
0
179
0
180
1
181
21.457116625194207
182
55.039307601052
183
1
184
4
185
0
186
36
187
1
188
1
189
1
190
46.16903380774495
191
3.4400508655115902
192
0
193
41
194
70
195
6
196
0
197
1
198
1
199
79.17058640115037
200
82.3387147305111
201
0
202
30
203
22
204
70
205
1
206
0
207
0
208
48.57949549288853
209
9.356175548312063
210
1
211
99
212
58
213
14
214
0
215
0
216
0
217
11.328930138270653
218
25.19318480857191
219
1
220
71
221
21
222
93
223
1
224
0
225
1
226
14.27319783406158
227
83.52407456890506
228
1
229
90
230
85
231
15
232
0
233
1
234
0
235
40.809397732216645
236
20.74847768043745
237
0
238
8
239
79
240
79
241
1
242
0
243
0
244
84.64931235898035
245
58.72772395786057
246
0
247
92
248
33
249
31
250
0
251
1
252
1
253
13.176722753340453
254
53.23625489538123
255
0
256
74
257
31
258
26
259
1
260
0
261
1
262
99.0692021569115
263
74.87390481581168
264
1
265
92
266
54
267
92
268
0
269
1
270
0
271
61.39605290726519
272
10.984413833517227
273
1
274
98
275
30
276
60
277
0
278
1
279
1
280
32.12897864907739
281
52.508360670354634
282
0
283
0
284
20
285
86
286
1
287
0
288
0
289
21.56036042968409
290
16.596129320241126
291
1
292
70
293
89
294
86
295
0
296
1
297
1
298
84.60456295096314
299
1.162037860465237
300
0
301
86
302
78
303
8
304
1
305
1
306
0
307
68.7443806325333
308
16.0515156933273
309
1
310
57
311
79
312
78
313
1
314
1
315
0
316
34.41759474107177
317
46.859207512699996
318
0
319
37
320
94
321
73
322
0
323
0
324
0
325
63.17747208447159
326
0.6187265650654084
327
0
328
54
329
6
330
39
331
0
332
1
333
0
334
52.406796503462274
335
92.7112600120426
336
1
337
43
338
47
339
28
340
1
341
0
342
1
343
5.100562108862771
344
50.569647036489144
345
1
346
85
347
31
348
30
349
0
350
1
351
0
352
48.70149625219139
353
45.505570571763734
354
1
355
84
356
10
357
35
358
0
359
0
360
0
361
95.03103880519137
362
74.76284323854885
363
0
364
81
365
77
366
27
367
1
368
1
369
1
370
32.60641426613713
371
92.76181393949427
372
1
373
81
374
56
375
66
376
0
377
1
378
1
379
61.59359851192795
380
86.75661336142099
381
0
382
11
383
11
384
48
385
0
386
0
387
0
388
22.82927470958085
389
89.82658934202271
390
1
391
61
392
99
393
22
394
0
395
1
396
0
397
67.70753800129017
398
72.79560425438129
399
0
400
18
401
37
402
38
403
1
404
1
405
1
406
74.92682060724017
407
80.87864244603279
408
1
409
49
410
4
411
29
412
0
413
0
414
1
415
60.446674176112225
416
52.6307045104877
417
0
418
42
419
10
420
78
421
0
422
0
423
0
424
55.20689589494262
425
94.38239499061204
426
0
427
31
428
91
429
25
430
1
431
1
432
1
433
95.46034970469842
434
43.397989049732324
435
0
436
90
437
81
438
35
439
0
440
1
441
0
442
67.68590149318429
443
69.42422162035416
444
1
445
38
446
74
447
79
448
1
449
1
450
1
451
94.01878739952323
452
42.17991567366561
453
1
454
70
455
1
456
3
457
0
458
1
459
0
460
76.97699773231467
461
16.65975950096108
462
1
463
34
464
6
465
13
466
1
467
1
468
0
469
0.8799548977198257
470
58.930905538358246
471
0
472
41
473
48
474
29
475
0
476
1
477
0
478
38.418684138833314
479
92.05849046505037
480
1
481
14
482
96
483
74
484
1
485
0
486
0
487
81.537686406141
488
82.29431514525179
489
1
490
50
491
32
492
64
493
0
494
0
495
1
496
18.944770239247767
497
73.33591459468978
498
0
499
68
500
2
501
2
502
1
503
0
504
1
505
50.15668884926665
506
87.76105756493344
507
0
508
43
509
3
510
85
511
1
512
0
513
0
514
60.00334825135397
515
80.51506136984413
516
1
517
34
518
11
519
90
520
0
521
1
522
0
523
30.511717137098117
524
28.32746919657364
525
0
526
11
527
15
528
87
529
1
530
0
531
0
532
45.48707466696889
533
13.726413128380921
534
0
535
8
536
59
537
48
538
0
539
0
540
1
541
92.74497459796493
542
80.84949171720623
543
0
544
67
545
0
546
87
547
1
548
1
549
1
550
43.77361971034933
551
31.993044375788493
552
0
553
67
554
88
555
84
556
0
557
1
558
0
559
54.429465936637996
560
76.05896699876405
561
0
562
86
563
18
564
58
565
1
566
0
567
1
568
57.64487726389439
569
63.691025353953634
570
0
571
31
572
77
573
25
574
1
575
1
576
1
577
23.74875469536264
578
44.79971652814112
579
1
580
18
581
28
582
47
583
1
584
0
585
0
586
31.986312924714134
587
79.88474581400416
588
0
589
38
590
86
591
79
592
1
593
1
594
0
595
57.82004929426665
596
49.07685814758753
597
0
598
74
599
41
600
15
601
0
602
0
603
1
604
27.302587770308584
605
62.95372822228125
606
0
607
66
608
13
609
94
610
0
611
0
612
1
613
10.38301563735361
614
61.96891883792678
615
1
616
6
617
93
618
90
619
0
620
1
621
0
622
60.57791296154376
623
56.657047149954785
624
0
625
61
626
64
627
23
628
0
629
1
630
1
631
27.588359728311985
632
18.377442139493773
633
0
634
3
635
68
636
17
637
0
638
1
639
0
640
24.289525807969127
641
36.81840973788007
642
0
643
10
644
78
645
89
646
1
647
1
648
0
649
56.929284365998164
650
31.475713261343476
651
1
652
72
653
28
654
53
655
0
656
0
657
0
658
77.22068452542185
659
51.88149548486254
660
0
661
18
662
21
663
95
664
1
665
0
666
1
667
81.48159459016982
668
36.169517218619085
669
0
670
8
671
71
672
63
673
1
674
0
675
0
676
24.82457604971955
677
94.3381158883935
678
1
679
11
680
65
681
34
682
0
683
0
684
1
685
21.885718988949787
686
93.08807442875897
687
0
688
4
689
18
690
45
691
0
692
1
693
1
694
95.54646495244252
695
28.96616497248221
696
1
697
98
698
70
699
33
700
0
701
0
702
1
703
3.495746132474309
704
74.0370256064675
705
1
706
84
707
68
708
37
709
0
710
0
711
0
712
40.32816728415224
713
2.2667603629725863
714
1
715
84
716
44
717
51
718
0
719
0
720
1
721
72.3932738918485
722
26.331526460403087
723
0
724
13
725
14
726
73
727
1
728
0
729
1
730
93.75188410179565
731
40.31913774188819
732
0
733
65
734
45
735
22
736
1
737
1
738
0
739
17.09128797614924
740
82.01213352624967
741
1
742
89
743
13
744
99
745
1
746
0
747
1
748
13.546916916688179
749
94.17060132644806
750
0
751
52
752
76
753
98
754
1
755
1
756
1
757
45.06535971691746
758
99.19214386979372
759
1
760
90
761
64
762
37
763
1
764
0
765
1
766
22.777055561149183
767
27.64497224576068
768
0
769
36
770
9
771
96
772
0
773
0
774
1
775
2.5411981050622368
776
69.68150732177021
777
0
778
29
779
80
780
64
781
0
782
0
783
0
784
88.41394586190891
785
81.92164238505215
786
0
787
57
788
85
789
10
790
1
791
1
792
1
793
39.31278598820968
794
51.16239887356081
795
0
796
17
797
51
798
45
799
1
800
1
801
1
802
47.442551329891444
803
77.95499727377114
804
0
805
60
806
34
807
64
808
1
809
0
810
1
811
89.0542667469712
812
22.820695367671775
813
1
814
90
815
65
816
20
817
0
818
0
819
0
820
51.27757804608499
821
10.893766013680374
822
0
823
85
824
88
825
70
826
1
827
0
828
0
829
64.08044007309857
830
2.937355439495215
831
1
832
30
833
68
834
7
835
1
836
1
837
0
838
73.3564427262739
839
28.710489919096805
840
0
841
36
842
43
843
76
844
0
845
1
846
0
847
47.16262488620586
848
33.54172914846109
849
0
850
96
851
12
852
94
853
0
854
1
855
1
856
55.1865086116637
857
57.429130447597146
858
1
859
65
860
17
861
89
862
1
863
0
864
1
865
86.22575073097194
866
75.84978191339611
867
0
868
59
869
34
870
37
871
0
872
1
873
0
874
6.521350775743285
875
40.303002343644636
876
1
877
51
878
10
879
77
880
1
881
1
882
0
883
66.08216372317027
884
42.55092983302835
885
1
886
10
887
98
888
5
889
0
890
0
891
1
892
2.8708851199942598
893
97.8694115738625
894
0
895
87
896
22
897
51
898
0
899
0
900
0