Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (17.3 KB)

1
62.5638299337676216
2
26.6052665501567596
3
1.0000000000000000
4
73.0000000000000000
5
99.0000000000000000
6
90.0000000000000000
7
1.0000000000000000
8
1.0000000000000000
9
1.0000000000000000
10
78.0702557330751858
11
10.0047861849809738
12
1.0000000000000000
13
96.0000000000000000
14
27.0000000000000000
15
31.0000000000000000
16
1.0000000000000000
17
1.0000000000000000
18
1.0000000000000000
19
59.3006134029770990
20
54.7327540956331617
21
1.0000000000000000
22
53.0000000000000000
23
96.0000000000000000
24
9.0000000000000000
25
1.0000000000000000
26
1.0000000000000000
27
1.0000000000000000
28
45.4302208589639420
29
93.2789780007995972
30
1.0000000000000000
31
33.0000000000000000
32
33.0000000000000000
33
63.0000000000000000
34
1.0000000000000000
35
1.0000000000000000
36
1.0000000000000000
37
51.5326074792183064
38
98.6544174172523753
39
1.0000000000000000
40
11.0000000000000000
41
8.0000000000000000
42
79.0000000000000000
43
1.0000000000000000
44
1.0000000000000000
45
1.0000000000000000
46
31.8933949467099964
47
11.6127458605434839
48
1.0000000000000000
49
57.0000000000000000
50
17.0000000000000000
51
6.0000000000000000
52
1.0000000000000000
53
1.0000000000000000
54
1.0000000000000000
55
82.0570917956602131
56
44.0382918271682939
57
1.0000000000000000
58
86.0000000000000000
59
39.0000000000000000
60
98.0000000000000000
61
1.0000000000000000
62
1.0000000000000000
63
1.0000000000000000
64
5.1572917192884482
65
57.9672467579165342
66
1.0000000000000000
67
10.0000000000000000
68
3.0000000000000000
69
36.0000000000000000
70
1.0000000000000000
71
1.0000000000000000
72
1.0000000000000000
73
63.7715870653030805
74
98.9763983955308646
75
1.0000000000000000
76
38.0000000000000000
77
78.0000000000000000
78
12.0000000000000000
79
1.0000000000000000
80
1.0000000000000000
81
1.0000000000000000
82
59.1298619337420917
83
6.4770284724520284
84
1.0000000000000000
85
72.0000000000000000
86
4.0000000000000000
87
68.0000000000000000
88
1.0000000000000000
89
1.0000000000000000
90
1.0000000000000000
91
52.1256411095300294
92
99.0934069169061900
93
1.0000000000000000
94
22.0000000000000000
95
94.0000000000000000
96
88.0000000000000000
97
1.0000000000000000
98
1.0000000000000000
99
1.0000000000000000
100
59.7907680227380709
101
68.5975012552425625
102
1.0000000000000000
103
49.0000000000000000
104
49.0000000000000000
105
63.0000000000000000
106
1.0000000000000000
107
1.0000000000000000
108
1.0000000000000000
109
53.1189751710712486
110
49.4089800021929690
111
1.0000000000000000
112
39.0000000000000000
113
75.0000000000000000
114
22.0000000000000000
115
1.0000000000000000
116
1.0000000000000000
117
1.0000000000000000
118
10.2106332244479177
119
71.8391521462152127
120
1.0000000000000000
121
28.0000000000000000
122
47.0000000000000000
123
9.0000000000000000
124
1.0000000000000000
125
1.0000000000000000
126
1.0000000000000000
127
61.2875332855887223
128
56.5178633440544189
129
1.0000000000000000
130
36.0000000000000000
131
56.0000000000000000
132
52.0000000000000000
133
1.0000000000000000
134
1.0000000000000000
135
1.0000000000000000
136
88.5836467609737497
137
61.0301443011522764
138
1.0000000000000000
139
97.0000000000000000
140
56.0000000000000000
141
48.0000000000000000
142
1.0000000000000000
143
1.0000000000000000
144
1.0000000000000000
145
49.3314797078033038
146
67.2697117848123867
147
1.0000000000000000
148
64.0000000000000000
149
71.0000000000000000
150
53.0000000000000000
151
1.0000000000000000
152
1.0000000000000000
153
1.0000000000000000
154
90.1664119261676831
155
98.5583706168023781
156
1.0000000000000000
157
61.0000000000000000
158
49.0000000000000000
159
84.0000000000000000
160
1.0000000000000000
161
1.0000000000000000
162
1.0000000000000000
163
58.2623313157843086
164
82.6497208963351397
165
1.0000000000000000
166
5.0000000000000000
167
12.0000000000000000
168
52.0000000000000000
169
1.0000000000000000
170
1.0000000000000000
171
1.0000000000000000
172
67.5237429175878248
173
56.1626883431065238
174
1.0000000000000000
175
81.0000000000000000
176
59.0000000000000000
177
69.0000000000000000
178
1.0000000000000000
179
1.0000000000000000
180
1.0000000000000000
181
53.3403590726385914
182
64.3011375049357099
183
1.0000000000000000
184
6.0000000000000000
185
59.0000000000000000
186
38.0000000000000000
187
1.0000000000000000
188
1.0000000000000000
189
1.0000000000000000
190
4.3360883928896587
191
50.3155637045934370
192
1.0000000000000000
193
87.0000000000000000
194
85.0000000000000000
195
69.0000000000000000
196
1.0000000000000000
197
1.0000000000000000
198
1.0000000000000000
199
99.9935106732182675
200
90.4224442842143787
201
1.0000000000000000
202
20.0000000000000000
203
67.0000000000000000
204
33.0000000000000000
205
1.0000000000000000
206
1.0000000000000000
207
1.0000000000000000
208
22.4235678243647669
209
77.0692530069826347
210
1.0000000000000000
211
89.0000000000000000
212
86.0000000000000000
213
25.0000000000000000
214
1.0000000000000000
215
1.0000000000000000
216
1.0000000000000000
217
61.3411801867264401
218
38.7117886752798555
219
1.0000000000000000
220
24.0000000000000000
221
9.0000000000000000
222
37.0000000000000000
223
1.0000000000000000
224
1.0000000000000000
225
1.0000000000000000
226
59.9642636150994548
227
50.6362503879490902
228
1.0000000000000000
229
65.0000000000000000
230
83.0000000000000000
231
93.0000000000000000
232
1.0000000000000000
233
1.0000000000000000
234
1.0000000000000000
235
42.4200326949455970
236
71.4736232958347273
237
1.0000000000000000
238
93.0000000000000000
239
60.0000000000000000
240
95.0000000000000000
241
1.0000000000000000
242
1.0000000000000000
243
1.0000000000000000
244
60.0596471487302139
245
68.7545647906685105
246
1.0000000000000000
247
8.0000000000000000
248
36.0000000000000000
249
1.0000000000000000
250
1.0000000000000000
251
1.0000000000000000
252
1.0000000000000000
253
40.0581936386205015
254
7.0613794328946771
255
1.0000000000000000
256
71.0000000000000000
257
17.0000000000000000
258
22.0000000000000000
259
1.0000000000000000
260
1.0000000000000000
261
1.0000000000000000
262
85.2046708894540785
263
85.4380506669212991
264
1.0000000000000000
265
10.0000000000000000
266
19.0000000000000000
267
2.0000000000000000
268
1.0000000000000000
269
1.0000000000000000
270
1.0000000000000000
271
36.3310290765772237
272
70.9099610097133422
273
1.0000000000000000
274
94.0000000000000000
275
42.0000000000000000
276
27.0000000000000000
277
1.0000000000000000
278
1.0000000000000000
279
1.0000000000000000
280
83.0524567408897951
281
88.5580130492659094
282
1.0000000000000000
283
14.0000000000000000
284
15.0000000000000000
285
90.0000000000000000
286
1.0000000000000000
287
1.0000000000000000
288
1.0000000000000000
289
72.4212147063124831
290
35.0703301948031978
291
1.0000000000000000
292
4.0000000000000000
293
53.0000000000000000
294
5.0000000000000000
295
1.0000000000000000
296
1.0000000000000000
297
1.0000000000000000
298
14.7688031410004754
299
7.4626997646325632
300
1.0000000000000000
301
3.0000000000000000
302
37.0000000000000000
303
88.0000000000000000
304
1.0000000000000000
305
1.0000000000000000
306
1.0000000000000000
307
23.1923311871053315
308
36.8383018754800631
309
1.0000000000000000
310
88.0000000000000000
311
4.0000000000000000
312
45.0000000000000000
313
1.0000000000000000
314
1.0000000000000000
315
1.0000000000000000
316
49.4113255291409956
317
37.8076467370370892
318
1.0000000000000000
319
97.0000000000000000
320
79.0000000000000000
321
89.0000000000000000
322
1.0000000000000000
323
1.0000000000000000
324
1.0000000000000000
325
69.0771052743674687
326
44.4838873728514415
327
1.0000000000000000
328
72.0000000000000000
329
36.0000000000000000
330
23.0000000000000000
331
1.0000000000000000
332
1.0000000000000000
333
1.0000000000000000
334
90.3044544091421812
335
77.7478875676471830
336
1.0000000000000000
337
41.0000000000000000
338
83.0000000000000000
339
39.0000000000000000
340
1.0000000000000000
341
1.0000000000000000
342
1.0000000000000000
343
37.3711846979720406
344
99.1437369034754568
345
1.0000000000000000
346
84.0000000000000000
347
79.0000000000000000
348
77.0000000000000000
349
1.0000000000000000
350
1.0000000000000000
351
1.0000000000000000
352
9.4408721954008961
353
98.5470559116686076
354
1.0000000000000000
355
36.0000000000000000
356
28.0000000000000000
357
83.0000000000000000
358
1.0000000000000000
359
1.0000000000000000
360
1.0000000000000000
361
65.9237402058923010
362
36.4465305628202643
363
1.0000000000000000
364
81.0000000000000000
365
63.0000000000000000
366
39.0000000000000000
367
1.0000000000000000
368
1.0000000000000000
369
1.0000000000000000
370
92.7331299553295452
371
22.8122758143370810
372
1.0000000000000000
373
1.0000000000000000
374
46.0000000000000000
375
85.0000000000000000
376
1.0000000000000000
377
1.0000000000000000
378
1.0000000000000000
379
2.7077143655621971
380
3.8010134523243866
381
1.0000000000000000
382
59.0000000000000000
383
47.0000000000000000
384
65.0000000000000000
385
1.0000000000000000
386
1.0000000000000000
387
1.0000000000000000
388
76.3122514366833968
389
34.5189027570241720
390
1.0000000000000000
391
42.0000000000000000
392
68.0000000000000000
393
59.0000000000000000
394
1.0000000000000000
395
1.0000000000000000
396
1.0000000000000000
397
91.5569820648648971
398
30.4770934297914131
399
1.0000000000000000
400
32.0000000000000000
401
86.0000000000000000
402
58.0000000000000000
403
1.0000000000000000
404
1.0000000000000000
405
1.0000000000000000
406
66.1083810037983142
407
96.9625278667963784
408
1.0000000000000000
409
37.0000000000000000
410
7.0000000000000000
411
52.0000000000000000
412
1.0000000000000000
413
1.0000000000000000
414
1.0000000000000000
415
51.7683728551383666
416
42.1458017195071477
417
1.0000000000000000
418
12.0000000000000000
419
76.0000000000000000
420
64.0000000000000000
421
1.0000000000000000
422
1.0000000000000000
423
1.0000000000000000
424
51.2749820595374359
425
78.4085222405182805
426
1.0000000000000000
427
20.0000000000000000
428
80.0000000000000000
429
2.0000000000000000
430
1.0000000000000000
431
1.0000000000000000
432
1.0000000000000000
433
56.4837092198066557
434
35.4838717334850742
435
1.0000000000000000
436
46.0000000000000000
437
59.0000000000000000
438
42.0000000000000000
439
1.0000000000000000
440
1.0000000000000000
441
1.0000000000000000
442
7.7581280203682823
443
54.1561162883743563
444
1.0000000000000000
445
76.0000000000000000
446
37.0000000000000000
447
17.0000000000000000
448
1.0000000000000000
449
1.0000000000000000
450
1.0000000000000000
451
18.9283738402084438
452
15.6466663913244268
453
1.0000000000000000
454
93.0000000000000000
455
28.0000000000000000
456
36.0000000000000000
457
1.0000000000000000
458
1.0000000000000000
459
1.0000000000000000
460
15.6046668781910203
461
88.9432567860957164
462
1.0000000000000000
463
1.0000000000000000
464
95.0000000000000000
465
72.0000000000000000
466
1.0000000000000000
467
1.0000000000000000
468
1.0000000000000000
469
6.5577792401114170
470
97.9706292704759250
471
1.0000000000000000
472
4.0000000000000000
473
61.0000000000000000
474
35.0000000000000000
475
1.0000000000000000
476
1.0000000000000000
477
1.0000000000000000
478
69.2196767973206448
479
65.0403457320517617
480
1.0000000000000000
481
39.0000000000000000
482
30.0000000000000000
483
37.0000000000000000
484
1.0000000000000000
485
1.0000000000000000
486
1.0000000000000000
487
96.9768110660144913
488
57.9688404783841733
489
1.0000000000000000
490
16.0000000000000000
491
56.0000000000000000
492
26.0000000000000000
493
1.0000000000000000
494
1.0000000000000000
495
1.0000000000000000
496
38.0032013077079327
497
25.1144305187807291
498
1.0000000000000000
499
25.0000000000000000
500
81.0000000000000000
501
76.0000000000000000
502
1.0000000000000000
503
1.0000000000000000
504
1.0000000000000000
505
35.1947642155830778
506
47.2986791659071670
507
1.0000000000000000
508
2.0000000000000000
509
47.0000000000000000
510
24.0000000000000000
511
1.0000000000000000
512
1.0000000000000000
513
1.0000000000000000
514
88.3881722079403289
515
94.8229423518689316
516
1.0000000000000000
517
3.0000000000000000
518
75.0000000000000000
519
48.0000000000000000
520
1.0000000000000000
521
1.0000000000000000
522
1.0000000000000000
523
3.1055844441240210
524
9.7683170807651098
525
1.0000000000000000
526
39.0000000000000000
527
98.0000000000000000
528
13.0000000000000000
529
1.0000000000000000
530
1.0000000000000000
531
1.0000000000000000
532
19.9852602705758571
533
44.4845403439453335
534
1.0000000000000000
535
42.0000000000000000
536
33.0000000000000000
537
82.0000000000000000
538
1.0000000000000000
539
1.0000000000000000
540
1.0000000000000000
541
89.7566041710692417
542
53.2974328460946154
543
1.0000000000000000
544
91.0000000000000000
545
74.0000000000000000
546
90.0000000000000000
547
1.0000000000000000
548
1.0000000000000000
549
1.0000000000000000
550
38.9394656076324637
551
81.2458914920199220
552
1.0000000000000000
553
8.0000000000000000
554
32.0000000000000000
555
64.0000000000000000
556
1.0000000000000000
557
1.0000000000000000
558
1.0000000000000000
559
83.0226623416043168
560
98.5122639808578100
561
1.0000000000000000
562
37.0000000000000000
563
14.0000000000000000
564
46.0000000000000000
565
1.0000000000000000
566
1.0000000000000000
567
1.0000000000000000
568
65.2107815702088942
569
24.0040854683420193
570
1.0000000000000000
571
24.0000000000000000
572
32.0000000000000000
573
46.0000000000000000
574
1.0000000000000000
575
1.0000000000000000
576
1.0000000000000000
577
76.8176748730996763
578
22.4495877800235384
579
1.0000000000000000
580
1.0000000000000000
581
98.0000000000000000
582
92.0000000000000000
583
1.0000000000000000
584
1.0000000000000000
585
1.0000000000000000
586
56.9710170941929874
587
23.8167010196162501
588
1.0000000000000000
589
9.0000000000000000
590
82.0000000000000000
591
65.0000000000000000
592
1.0000000000000000
593
1.0000000000000000
594
1.0000000000000000
595
96.9139297450681880
596
34.8560686405305020
597
1.0000000000000000
598
81.0000000000000000
599
23.0000000000000000
600
46.0000000000000000
601
1.0000000000000000
602
1.0000000000000000
603
1.0000000000000000
604
37.9375619733967682
605
8.9118828302678477
606
1.0000000000000000
607
53.0000000000000000
608
77.0000000000000000
609
19.0000000000000000
610
1.0000000000000000
611
1.0000000000000000
612
1.0000000000000000
613
67.7518658341849971
614
44.7129762851384953
615
1.0000000000000000
616
4.0000000000000000
617
93.0000000000000000
618
43.0000000000000000
619
1.0000000000000000
620
1.0000000000000000
621
1.0000000000000000
622
21.3028477224108244
623
35.8211193972857913
624
1.0000000000000000
625
58.0000000000000000
626
81.0000000000000000
627
20.0000000000000000
628
1.0000000000000000
629
1.0000000000000000
630
1.0000000000000000
631
3.6796034876123596
632
36.4263975593204137
633
1.0000000000000000
634
66.0000000000000000
635
1.0000000000000000
636
99.0000000000000000
637
1.0000000000000000
638
1.0000000000000000
639
1.0000000000000000
640
24.9775254799419208
641
78.5551117516631621
642
1.0000000000000000
643
65.0000000000000000
644
34.0000000000000000
645
69.0000000000000000
646
1.0000000000000000
647
1.0000000000000000
648
1.0000000000000000
649
77.0124261878792424
650
16.3863555005175918
651
1.0000000000000000
652
25.0000000000000000
653
10.0000000000000000
654
9.0000000000000000
655
1.0000000000000000
656
1.0000000000000000
657
1.0000000000000000
658
34.3574692041260548
659
60.6025640489726101
660
1.0000000000000000
661
78.0000000000000000
662
36.0000000000000000
663
15.0000000000000000
664
1.0000000000000000
665
1.0000000000000000
666
1.0000000000000000
667
45.4594732339936414
668
51.7369831184541269
669
1.0000000000000000
670
24.0000000000000000
671
96.0000000000000000
672
34.0000000000000000
673
1.0000000000000000
674
1.0000000000000000
675
1.0000000000000000
676
29.9853542360993366
677
82.8829992154608561
678
1.0000000000000000
679
48.0000000000000000
680
73.0000000000000000
681
60.0000000000000000
682
1.0000000000000000
683
1.0000000000000000
684
1.0000000000000000
685
93.1166433153552902
686
83.5349365439406171
687
1.0000000000000000
688
62.0000000000000000
689
2.0000000000000000
690
16.0000000000000000
691
1.0000000000000000
692
1.0000000000000000
693
1.0000000000000000
694
36.7317264022623320
695
9.3976996713112655
696
1.0000000000000000
697
8.0000000000000000
698
73.0000000000000000
699
22.0000000000000000
700
1.0000000000000000
701
1.0000000000000000
702
1.0000000000000000
703
59.2082824026944436
704
27.8299066643856499
705
1.0000000000000000
706
86.0000000000000000
707
21.0000000000000000
708
67.0000000000000000
709
1.0000000000000000
710
1.0000000000000000
711
1.0000000000000000
712
0.6744601545953910
713
11.4167667201067307
714
1.0000000000000000
715
84.0000000000000000
716
96.0000000000000000
717
56.0000000000000000
718
1.0000000000000000
719
1.0000000000000000
720
1.0000000000000000
721
89.7841125698592037
722
48.5804733299883367
723
1.0000000000000000
724
38.0000000000000000
725
15.0000000000000000
726
75.0000000000000000
727
1.0000000000000000
728
1.0000000000000000
729
1.0000000000000000
730
72.6266618035205340
731
4.5978897234053466
732
1.0000000000000000
733
92.0000000000000000
734
16.0000000000000000
735
23.0000000000000000
736
1.0000000000000000
737
1.0000000000000000
738
1.0000000000000000
739
39.7298876896713082
740
54.1450185307277181
741
1.0000000000000000
742
33.0000000000000000
743
37.0000000000000000
744
61.0000000000000000
745
1.0000000000000000
746
1.0000000000000000
747
1.0000000000000000
748
28.2479289870576480
749
57.9088006231182533
750
1.0000000000000000
751
78.0000000000000000
752
84.0000000000000000
753
16.0000000000000000
754
1.0000000000000000
755
1.0000000000000000
756
1.0000000000000000
757
85.3539156943347876
758
73.7955035384849509
759
1.0000000000000000
760
76.0000000000000000
761
80.0000000000000000
762
95.0000000000000000
763
1.0000000000000000
764
1.0000000000000000
765
1.0000000000000000
766
33.5324764239863029
767
73.7897355904380845
768
1.0000000000000000
769
78.0000000000000000
770
10.0000000000000000
771
52.0000000000000000
772
1.0000000000000000
773
1.0000000000000000
774
1.0000000000000000
775
42.6791255437403620
776
70.2551378785589975
777
1.0000000000000000
778
97.0000000000000000
779
81.0000000000000000
780
92.0000000000000000
781
1.0000000000000000
782
1.0000000000000000
783
1.0000000000000000
784
78.6109358320904335
785
58.5374506631542530
786
1.0000000000000000
787
89.0000000000000000
788
87.0000000000000000
789
96.0000000000000000
790
1.0000000000000000
791
1.0000000000000000
792
1.0000000000000000
793
85.7671457575950029
794
21.4813344945588227
795
1.0000000000000000
796
28.0000000000000000
797
87.0000000000000000
798
87.0000000000000000
799
1.0000000000000000
800
1.0000000000000000
801
1.0000000000000000
802
65.7911115017368218
803
81.1321659114707074
804
1.0000000000000000
805
79.0000000000000000
806
53.0000000000000000
807
88.0000000000000000
808
1.0000000000000000
809
1.0000000000000000
810
1.0000000000000000
811
52.7679029137313123
812
94.6605300592619159
813
1.0000000000000000
814
87.0000000000000000
815
43.0000000000000000
816
85.0000000000000000
817
1.0000000000000000
818
1.0000000000000000
819
1.0000000000000000
820
50.6821869562510443
821
91.8176462366004102
822
1.0000000000000000
823
95.0000000000000000
824
15.0000000000000000
825
26.0000000000000000
826
1.0000000000000000
827
1.0000000000000000
828
1.0000000000000000
829
1.6046832006146872
830
93.7995278289287313
831
1.0000000000000000
832
24.0000000000000000
833
30.0000000000000000
834
97.0000000000000000
835
1.0000000000000000
836
1.0000000000000000
837
1.0000000000000000
838
7.0154625116493285
839
11.7041193814924842
840
1.0000000000000000
841
71.0000000000000000
842
33.0000000000000000
843
72.0000000000000000
844
1.0000000000000000
845
1.0000000000000000
846
1.0000000000000000
847
1.9077280044806355
848
83.7647475628641018
849
1.0000000000000000
850
82.0000000000000000
851
8.0000000000000000
852
59.0000000000000000
853
1.0000000000000000
854
1.0000000000000000
855
1.0000000000000000
856
43.7383128279137026
857
99.7622934562499637
858
1.0000000000000000
859
34.0000000000000000
860
29.0000000000000000
861
98.0000000000000000
862
1.0000000000000000
863
1.0000000000000000
864
1.0000000000000000
865
44.4353248955202105
866
60.7415687637753763
867
1.0000000000000000
868
64.0000000000000000
869
59.0000000000000000
870
20.0000000000000000
871
1.0000000000000000
872
1.0000000000000000
873
1.0000000000000000
874
41.4982640796536444
875
43.9716738866256378
876
1.0000000000000000
877
54.0000000000000000
878
81.0000000000000000
879
25.0000000000000000
880
1.0000000000000000
881
1.0000000000000000
882
1.0000000000000000
883
15.9119244542255345
884
46.3224863504928663
885
1.0000000000000000
886
48.0000000000000000
887
46.0000000000000000
888
55.0000000000000000
889
1.0000000000000000
890
1.0000000000000000
891
1.0000000000000000
892
71.4339377810337481
893
51.8554527253278010
894
1.0000000000000000
895
76.0000000000000000
896
74.0000000000000000
897
94.0000000000000000
898
1.0000000000000000
899
1.0000000000000000
900
1.0000000000000000
901
51.3548544266554075
902
44.7257792390745692
903
1.0000000000000000
904
46.0000000000000000
905
8.0000000000000000
906
22.0000000000000000
907
1.0000000000000000
908
1.0000000000000000
909
1.0000000000000000