Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (11.6 KB)

1
84.6351714943399145
2
71.0000000000000000
3
1.0000000000000000
4
65.9778892627722087
5
55.0000000000000000
6
1.0000000000000000
7
41.3282850753178863
8
38.0000000000000000
9
1.0000000000000000
10
28.3938307944318495
11
59.0000000000000000
12
1.0000000000000000
13
98.7612475067684557
14
22.0000000000000000
15
1.0000000000000000
16
68.0482632189550145
17
50.0000000000000000
18
1.0000000000000000
19
2.0430850825810976
20
56.0000000000000000
21
1.0000000000000000
22
64.3500943978996958
23
73.0000000000000000
24
1.0000000000000000
25
55.8912911588027939
26
13.0000000000000000
27
1.0000000000000000
28
45.9785395038087046
29
82.0000000000000000
30
1.0000000000000000
31
99.4556113646432323
32
5.0000000000000000
33
1.0000000000000000
34
82.8741167217231407
35
15.0000000000000000
36
1.0000000000000000
37
26.6432993160358080
38
11.0000000000000000
39
1.0000000000000000
40
71.3276682483716939
41
25.0000000000000000
42
1.0000000000000000
43
72.6102922989518618
44
82.0000000000000000
45
1.0000000000000000
46
93.1715274969021010
47
70.0000000000000000
48
1.0000000000000000
49
4.0923678199385360
50
87.0000000000000000
51
1.0000000000000000
52
33.8580602190683067
53
62.0000000000000000
54
1.0000000000000000
55
30.1687795663024936
56
6.0000000000000000
57
1.0000000000000000
58
91.5720684498918445
59
38.0000000000000000
60
1.0000000000000000
61
57.4299747304032309
62
60.0000000000000000
63
1.0000000000000000
64
32.9164218947154836
65
16.0000000000000000
66
1.0000000000000000
67
18.1261186839858475
68
21.0000000000000000
69
1.0000000000000000
70
17.4915106733615886
71
70.0000000000000000
72
1.0000000000000000
73
74.8475213128742922
74
74.0000000000000000
75
1.0000000000000000
76
65.9563663202126094
77
47.0000000000000000
78
1.0000000000000000
79
91.2023218195260199
80
46.0000000000000000
81
1.0000000000000000
82
63.9231953883777848
83
36.0000000000000000
84
1.0000000000000000
85
2.8742157746082908
86
78.0000000000000000
87
1.0000000000000000
88
96.9949319742112408
89
6.0000000000000000
90
1.0000000000000000
91
58.7953446153744039
92
61.0000000000000000
93
1.0000000000000000
94
73.8188068555033396
95
78.0000000000000000
96
1.0000000000000000
97
46.0193565374106370
98
46.0000000000000000
99
1.0000000000000000
100
0.8926342623723493
101
35.0000000000000000
102
1.0000000000000000
103
1.9464043751261206
104
14.0000000000000000
105
1.0000000000000000
106
26.2939536231643558
107
8.0000000000000000
108
1.0000000000000000
109
44.7044828113622899
110
67.0000000000000000
111
1.0000000000000000
112
90.1264904777694227
113
66.0000000000000000
114
1.0000000000000000
115
62.2178844359014036
116
24.0000000000000000
117
1.0000000000000000
118
16.9053914565606824
119
17.0000000000000000
120
1.0000000000000000
121
58.8941077866672344
122
57.0000000000000000
123
1.0000000000000000
124
49.9625186873987133
125
23.0000000000000000
126
1.0000000000000000
127
92.6917802523426388
128
13.0000000000000000
129
1.0000000000000000
130
19.9752017236124679
131
62.0000000000000000
132
1.0000000000000000
133
62.3334963531884014
134
44.0000000000000000
135
1.0000000000000000
136
1.8174968290662008
137
81.0000000000000000
138
1.0000000000000000
139
8.1554911314524077
140
16.0000000000000000
141
1.0000000000000000
142
22.1027142504833236
143
80.0000000000000000
144
1.0000000000000000
145
56.3944903358814003
146
8.0000000000000000
147
1.0000000000000000
148
57.2180048365845551
149
47.0000000000000000
150
1.0000000000000000
151
19.7338419924524509
152
98.0000000000000000
153
1.0000000000000000
154
80.0787721965034365
155
56.0000000000000000
156
1.0000000000000000
157
55.4887706221661929
158
85.0000000000000000
159
1.0000000000000000
160
35.8936013479854381
161
60.0000000000000000
162
1.0000000000000000
163
3.7926119435893524
164
3.0000000000000000
165
1.0000000000000000
166
43.0418421295869607
167
5.0000000000000000
168
1.0000000000000000
169
57.3146066148947000
170
85.0000000000000000
171
1.0000000000000000
172
89.3812714772857788
173
63.0000000000000000
174
1.0000000000000000
175
3.2989120194407695
176
64.0000000000000000
177
1.0000000000000000
178
60.6357851883431707
179
48.0000000000000000
180
1.0000000000000000
181
90.9579413726320780
182
63.0000000000000000
183
1.0000000000000000
184
50.9709797164111933
185
42.0000000000000000
186
1.0000000000000000
187
55.6919290985084174
188
9.0000000000000000
189
1.0000000000000000
190
13.3637882450724277
191
80.0000000000000000
192
1.0000000000000000
193
41.4475776461401466
194
92.0000000000000000
195
1.0000000000000000
196
32.3759755879259075
197
96.0000000000000000
198
1.0000000000000000
199
13.7570056781816099
200
47.0000000000000000
201
1.0000000000000000
202
78.1452205635023489
203
75.0000000000000000
204
1.0000000000000000
205
43.4477988773913495
206
34.0000000000000000
207
1.0000000000000000
208
37.0232654101048908
209
50.0000000000000000
210
1.0000000000000000
211
48.2960250658998618
212
32.0000000000000000
213
1.0000000000000000
214
16.8594950682769635
215
49.0000000000000000
216
1.0000000000000000
217
55.7841296417330241
218
89.0000000000000000
219
1.0000000000000000
220
7.8923057099335008
221
81.0000000000000000
222
1.0000000000000000
223
68.0665446506024523
224
93.0000000000000000
225
1.0000000000000000
226
68.3089533751628295
227
46.0000000000000000
228
1.0000000000000000
229
76.5683270334302222
230
20.0000000000000000
231
1.0000000000000000
232
22.7898827003006232
233
5.0000000000000000
234
1.0000000000000000
235
4.2555543183766638
236
32.0000000000000000
237
1.0000000000000000
238
29.2160192018617408
239
32.0000000000000000
240
1.0000000000000000
241
86.5660260487375695
242
66.0000000000000000
243
1.0000000000000000
244
52.2474434620682544
245
8.0000000000000000
246
1.0000000000000000
247
92.8574880525814450
248
68.0000000000000000
249
1.0000000000000000
250
82.6993582222067971
251
54.0000000000000000
252
1.0000000000000000
253
85.8517617403860527
254
29.0000000000000000
255
1.0000000000000000
256
81.7253652548602503
257
14.0000000000000000
258
1.0000000000000000
259
25.7446604019627046
260
8.0000000000000000
261
1.0000000000000000
262
31.8443827770210852
263
44.0000000000000000
264
1.0000000000000000
265
66.3140114648645635
266
94.0000000000000000
267
1.0000000000000000
268
27.2386418472784442
269
33.0000000000000000
270
1.0000000000000000
271
42.5217116440127683
272
32.0000000000000000
273
1.0000000000000000
274
15.9496930890211335
275
98.0000000000000000
276
1.0000000000000000
277
44.1868374677561704
278
87.0000000000000000
279
1.0000000000000000
280
1.8339145994292427
281
76.0000000000000000
282
1.0000000000000000
283
51.7705467574317311
284
39.0000000000000000
285
1.0000000000000000
286
99.6236420436342485
287
12.0000000000000000
288
1.0000000000000000
289
75.2509944508045834
290
87.0000000000000000
291
1.0000000000000000
292
12.5895428890351102
293
57.0000000000000000
294
1.0000000000000000
295
27.7590053978843052
296
43.0000000000000000
297
1.0000000000000000
298
12.9994042443982050
299
44.0000000000000000
300
1.0000000000000000
301
39.6976601046834290
302
21.0000000000000000
303
1.0000000000000000
304
5.1185715271948933
305
40.0000000000000000
306
1.0000000000000000
307
84.0994259841831280
308
4.0000000000000000
309
1.0000000000000000
310
97.3908382761393057
311
23.0000000000000000
312
1.0000000000000000
313
94.2622057096496775
314
13.0000000000000000
315
1.0000000000000000
316
66.6661227041052342
317
44.0000000000000000
318
1.0000000000000000
319
57.8551051203770044
320
86.0000000000000000
321
1.0000000000000000
322
19.4053498923616665
323
60.0000000000000000
324
1.0000000000000000
325
18.4047687448555379
326
23.0000000000000000
327
1.0000000000000000
328
34.3649168806113039
329
37.0000000000000000
330
1.0000000000000000
331
14.8925697545007942
332
3.0000000000000000
333
1.0000000000000000
334
27.3077562655537953
335
42.0000000000000000
336
1.0000000000000000
337
63.4762523265030438
338
61.0000000000000000
339
1.0000000000000000
340
70.9579089834030441
341
42.0000000000000000
342
1.0000000000000000
343
69.6212381389543822
344
93.0000000000000000
345
1.0000000000000000
346
18.8261738328915911
347
100.0000000000000000
348
1.0000000000000000
349
13.9808756983913156
350
4.0000000000000000
351
1.0000000000000000
352
82.6158200719941647
353
86.0000000000000000
354
1.0000000000000000
355
30.6448599518625358
356
4.0000000000000000
357
1.0000000000000000
358
5.8416759991648419
359
57.0000000000000000
360
1.0000000000000000
361
2.2779428249874445
362
58.0000000000000000
363
1.0000000000000000
364
71.0859796245848514
365
9.0000000000000000
366
1.0000000000000000
367
90.4848964161102600
368
52.0000000000000000
369
1.0000000000000000
370
46.7660046025031875
371
46.0000000000000000
372
1.0000000000000000
373
17.9404359365635599
374
82.0000000000000000
375
1.0000000000000000
376
32.0212720603988430
377
37.0000000000000000
378
1.0000000000000000
379
16.1074455394816134
380
42.0000000000000000
381
1.0000000000000000
382
94.2567759005873000
383
66.0000000000000000
384
1.0000000000000000
385
92.1817131327842105
386
23.0000000000000000
387
1.0000000000000000
388
96.7083627428926604
389
72.0000000000000000
390
1.0000000000000000
391
50.7747030407625672
392
25.0000000000000000
393
1.0000000000000000
394
60.6230622447811882
395
24.0000000000000000
396
1.0000000000000000
397
61.6599073928535404
398
9.0000000000000000
399
1.0000000000000000
400
21.2370823487200582
401
22.0000000000000000
402
1.0000000000000000
403
92.1303192009007432
404
86.0000000000000000
405
1.0000000000000000
406
96.9897842611099890
407
36.0000000000000000
408
1.0000000000000000
409
76.4333558044649237
410
69.0000000000000000
411
1.0000000000000000
412
16.5434570593976495
413
32.0000000000000000
414
1.0000000000000000
415
3.1582765252220257
416
17.0000000000000000
417
1.0000000000000000
418
80.3234825945103097
419
54.0000000000000000
420
1.0000000000000000
421
62.4881580506756578
422
57.0000000000000000
423
1.0000000000000000
424
81.5388148755664730
425
69.0000000000000000
426
1.0000000000000000
427
67.7719326999954319
428
48.0000000000000000
429
1.0000000000000000
430
18.0176901161146041
431
67.0000000000000000
432
1.0000000000000000
433
22.5547652132158447
434
24.0000000000000000
435
1.0000000000000000
436
96.8356812513544156
437
92.0000000000000000
438
1.0000000000000000
439
87.0362610337912344
440
36.0000000000000000
441
1.0000000000000000
442
29.7579143591777076
443
25.0000000000000000
444
1.0000000000000000
445
64.0898512216520260
446
45.0000000000000000
447
1.0000000000000000
448
7.6394623009356621
449
77.0000000000000000
450
1.0000000000000000
451
68.1616496612065959
452
84.0000000000000000
453
1.0000000000000000
454
43.8185909832815881
455
87.0000000000000000
456
1.0000000000000000
457
95.0627030231702861
458
64.0000000000000000
459
1.0000000000000000
460
85.4920260881754075
461
2.0000000000000000
462
1.0000000000000000
463
19.6230914510777126
464
55.0000000000000000
465
1.0000000000000000
466
6.0004022193800743
467
41.0000000000000000
468
1.0000000000000000
469
96.9337074805639674
470
27.0000000000000000
471
1.0000000000000000
472
86.9633142683944556
473
2.0000000000000000
474
1.0000000000000000
475
84.8728189196646241
476
13.0000000000000000
477
1.0000000000000000
478
11.3225738065147574
479
43.0000000000000000
480
1.0000000000000000
481
77.5714335998144549
482
49.0000000000000000
483
1.0000000000000000
484
91.1861214243313611
485
29.0000000000000000
486
1.0000000000000000
487
90.2062564404755136
488
26.0000000000000000
489
1.0000000000000000
490
82.9418682284452444
491
10.0000000000000000
492
1.0000000000000000
493
39.3279731193054474
494
82.0000000000000000
495
1.0000000000000000
496
24.6473198932121491
497
81.0000000000000000
498
1.0000000000000000
499
13.1646826682185853
500
29.0000000000000000
501
1.0000000000000000
502
43.7565412203785655
503
46.0000000000000000
504
1.0000000000000000
505
58.1214487541658045
506
32.0000000000000000
507
1.0000000000000000
508
51.5006550811460642
509
47.0000000000000000
510
1.0000000000000000
511
53.5639663290764716
512
87.0000000000000000
513
1.0000000000000000
514
1.3757774814558865
515
54.0000000000000000
516
1.0000000000000000
517
78.9515575074034928
518
33.0000000000000000
519
1.0000000000000000
520
64.3615310654970472
521
17.0000000000000000
522
1.0000000000000000
523
84.0115573743865127
524
38.0000000000000000
525
1.0000000000000000
526
8.1461195371047133
527
35.0000000000000000
528
1.0000000000000000
529
77.2271759606958312
530
3.0000000000000000
531
1.0000000000000000
532
49.8778817118396418
533
54.0000000000000000
534
1.0000000000000000
535
1.9042627358110464
536
13.0000000000000000
537
1.0000000000000000
538
29.5844940286100986
539
28.0000000000000000
540
1.0000000000000000
541
10.8779452346112748
542
7.0000000000000000
543
1.0000000000000000
544
85.9217292814782496
545
3.0000000000000000
546
1.0000000000000000
547
62.3240763145713998
548
66.0000000000000000
549
1.0000000000000000
550
28.8844823553479841
551
78.0000000000000000
552
1.0000000000000000
553
20.1080913748187697
554
88.0000000000000000
555
1.0000000000000000
556
93.6831189574403709
557
93.0000000000000000
558
1.0000000000000000
559
7.5464885198398228
560
33.0000000000000000
561
1.0000000000000000
562
58.0353365966137815
563
17.0000000000000000
564
1.0000000000000000
565
73.1476103010319463
566
3.0000000000000000
567
1.0000000000000000
568
31.4495614082365478
569
44.0000000000000000
570
1.0000000000000000
571
61.0604871214696630
572
93.0000000000000000
573
1.0000000000000000
574
25.1267302973018687
575
35.0000000000000000
576
1.0000000000000000
577
52.5565600297505213
578
36.0000000000000000
579
1.0000000000000000
580
69.0673578835460376
581
74.0000000000000000
582
1.0000000000000000
583
99.5141262675114859
584
48.0000000000000000
585
1.0000000000000000
586
29.2891658264754255
587
86.0000000000000000
588
1.0000000000000000
589
96.6648065957767386
590
98.0000000000000000
591
1.0000000000000000
592
48.2765994267072784
593
65.0000000000000000
594
1.0000000000000000
595
91.5459544563024963
596
94.0000000000000000
597
1.0000000000000000
598
46.9391420697793080
599
59.0000000000000000
600
1.0000000000000000
601
18.7186181485749508
602
40.0000000000000000
603
1.0000000000000000
604
7.3674603243377712
605
97.0000000000000000
606
1.0000000000000000