Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (11.8 KB)

1
76.6465122040633560
2
56.2693654994003936
3
1.6336915028154264
4
52.0000000000000000
5
53.0000000000000000
6
82.0000000000000000
7
4.6690505976088588
8
16.7491585665093261
9
88.4445852892019104
10
79.0000000000000000
11
73.0000000000000000
12
63.0000000000000000
13
38.8806265496687402
14
23.3305080342532953
15
28.3011866806156966
16
58.0000000000000000
17
43.0000000000000000
18
1.0000000000000000
19
86.7400111858371048
20
28.6429672190623101
21
51.9575277883888873
22
4.0000000000000000
23
96.0000000000000000
24
56.0000000000000000
25
86.4343751707270798
26
33.1446353019911442
27
12.3939902676701301
28
18.0000000000000000
29
47.0000000000000000
30
52.0000000000000000
31
16.9720495503460782
32
13.6139148728254611
33
67.2940686740003002
34
86.0000000000000000
35
55.0000000000000000
36
74.0000000000000000
37
8.5438624354190811
38
87.4217618168844979
39
27.0878964825284392
40
61.0000000000000000
41
71.0000000000000000
42
29.0000000000000000
43
20.8781235607886195
44
20.7766573323610579
45
71.8544660088868739
46
96.0000000000000000
47
86.0000000000000000
48
79.0000000000000000
49
11.7618193274139582
50
60.3178582872812115
51
2.7473873722825060
52
78.0000000000000000
53
51.0000000000000000
54
43.0000000000000000
55
35.6282130014068414
56
7.8228169969440593
57
65.8926889324039138
58
91.0000000000000000
59
76.0000000000000000
60
89.0000000000000000
61
33.5965894977083721
62
72.5418864913928729
63
4.1683901746406127
64
52.0000000000000000
65
11.0000000000000000
66
2.0000000000000000
67
14.1639035109288098
68
2.5063732331686905
69
1.3403356371183284
70
69.0000000000000000
71
79.0000000000000000
72
99.0000000000000000
73
43.9169134549728142
74
65.8626339236925986
75
30.3200019801599367
76
78.0000000000000000
77
51.0000000000000000
78
46.0000000000000000
79
5.7957158034048106
80
3.0634439743736253
81
57.8738375748229714
82
66.0000000000000000
83
1.0000000000000000
84
76.0000000000000000
85
90.8772430973706804
86
35.5633663080394697
87
0.8530644164578938
88
54.0000000000000000
89
10.0000000000000000
90
80.0000000000000000
91
32.4258865279535655
92
1.6880741555510448
93
3.7981038426499025
94
21.0000000000000000
95
90.0000000000000000
96
97.0000000000000000
97
58.4346067008052827
98
19.3448058354426919
99
23.4203253168014029
100
27.0000000000000000
101
37.0000000000000000
102
19.0000000000000000
103
52.8067058542893903
104
17.1571231302991016
105
18.9824142612698878
106
68.0000000000000000
107
67.0000000000000000
108
73.0000000000000000
109
38.4661010386854159
110
9.3862880381762821
111
61.4014469897770852
112
61.0000000000000000
113
35.0000000000000000
114
74.0000000000000000
115
34.0427933373254419
116
46.0276856348396137
117
64.1174616502459287
118
97.0000000000000000
119
2.0000000000000000
120
24.0000000000000000
121
88.5263523196343982
122
66.5749874753782507
123
86.1854246518950333
124
2.0000000000000000
125
90.0000000000000000
126
24.0000000000000000
127
61.8505117047055109
128
54.5610132060575879
129
30.0852298650183592
130
98.0000000000000000
131
99.0000000000000000
132
13.0000000000000000
133
65.9995630006224587
134
75.8996254069799079
135
63.1267662005643118
136
55.0000000000000000
137
4.0000000000000000
138
86.0000000000000000
139
9.9578462677225588
140
87.7658879604850597
141
92.3976548184344750
142
65.0000000000000000
143
75.0000000000000000
144
88.0000000000000000
145
86.3666014287844206
146
39.5191344560500397
147
43.3638555380544730
148
51.0000000000000000
149
19.0000000000000000
150
97.0000000000000000
151
99.9745245667001257
152
35.3798740606525683
153
17.7291661161949392
154
37.0000000000000000
155
97.0000000000000000
156
30.0000000000000000
157
24.1711908450006128
158
74.3023101527469407
159
47.5866428929823755
160
77.0000000000000000
161
19.0000000000000000
162
80.0000000000000000
163
34.9253945532406931
164
40.7917364564953004
165
7.7165803548119634
166
18.0000000000000000
167
50.0000000000000000
168
70.0000000000000000
169
43.3442518789413640
170
49.7315721923549248
171
55.3402058256905391
172
31.0000000000000000
173
61.0000000000000000
174
30.0000000000000000
175
16.5566821401740611
176
59.8851939300810301
177
37.7333389087772915
178
57.0000000000000000
179
12.0000000000000000
180
58.0000000000000000
181
89.9179752810618709
182
19.4430446833605437
183
40.5009690405634970
184
52.0000000000000000
185
20.0000000000000000
186
87.0000000000000000
187
54.6319393685772283
188
90.9629140896316954
189
88.4651453207134324
190
15.0000000000000000
191
65.0000000000000000
192
44.0000000000000000
193
37.1117347362262748
194
13.4227644938362918
195
56.7179656259423695
196
56.0000000000000000
197
55.0000000000000000
198
42.0000000000000000
199
5.2788212071063327
200
98.1369728782584190
201
75.8907196555228296
202
83.0000000000000000
203
59.0000000000000000
204
28.0000000000000000
205
70.1843674348083084
206
9.1243043067959491
207
22.5633913889645044
208
52.0000000000000000
209
15.0000000000000000
210
99.0000000000000000
211
60.2476337964336537
212
26.1795479880373883
213
20.2333294298068438
214
33.0000000000000000
215
26.0000000000000000
216
62.0000000000000000
217
86.5072150845484771
218
91.6074944715078914
219
51.4643160198108731
220
8.0000000000000000
221
70.0000000000000000
222
14.0000000000000000
223
50.7649816797483453
224
15.9035425143879134
225
39.1831077763381117
226
53.0000000000000000
227
54.0000000000000000
228
4.0000000000000000
229
81.4199354439166427
230
22.2419267278841417
231
38.8986703066826607
232
15.0000000000000000
233
32.0000000000000000
234
18.0000000000000000
235
10.6289163887398512
236
19.4669690916857476
237
98.2743147993568726
238
1.0000000000000000
239
94.0000000000000000
240
43.0000000000000000
241
93.8404655260737002
242
65.7118740434856790
243
70.7007791350899026
244
27.0000000000000000
245
82.0000000000000000
246
22.0000000000000000
247
15.0004019232348860
248
52.5476984747401232
249
51.4781776037998497
250
90.0000000000000000
251
99.0000000000000000
252
97.0000000000000000
253
71.3774915438633855
254
5.5503467036818961
255
46.5397925242776012
256
71.0000000000000000
257
69.0000000000000000
258
25.0000000000000000
259
58.8714811722961500
260
17.1977806238045936
261
68.5711253936571552
262
20.0000000000000000
263
14.0000000000000000
264
64.0000000000000000
265
30.4405038402701500
266
89.4995188787613358
267
77.3067537633332762
268
91.0000000000000000
269
54.0000000000000000
270
58.0000000000000000
271
39.6244340832740534
272
29.5429851001366863
273
34.0954998507425628
274
57.0000000000000000
275
81.0000000000000000
276
6.0000000000000000
277
36.2086776292511487
278
33.4690165078371464
279
1.0437067764438424
280
89.0000000000000000
281
75.0000000000000000
282
72.0000000000000000
283
49.9111863406800609
284
42.7875005414669047
285
21.3305857230878040
286
4.0000000000000000
287
96.0000000000000000
288
46.0000000000000000
289
32.6460183038307292
290
80.8685334258743751
291
24.4748055561722175
292
24.0000000000000000
293
55.0000000000000000
294
3.0000000000000000
295
53.7067001977808971
296
53.2666675713628877
297
42.0401169119851801
298
60.0000000000000000
299
13.0000000000000000
300
69.0000000000000000
301
31.8924211183539867
302
0.9579781529802545
303
29.0616561960321249
304
16.0000000000000000
305
79.0000000000000000
306
39.0000000000000000
307
65.1254720950392567
308
99.8855979519083803
309
79.1914325289105676
310
98.0000000000000000
311
34.0000000000000000
312
10.0000000000000000
313
15.4664756097542941
314
36.7355100305567035
315
67.0016646256825510
316
30.0000000000000000
317
7.0000000000000000
318
46.0000000000000000
319
4.7206992440803948
320
32.6363395046282676
321
20.5972874790570017
322
83.0000000000000000
323
88.0000000000000000
324
15.0000000000000000
325
94.7240464368423432
326
61.9576496892439863
327
62.7510389978325449
328
16.0000000000000000
329
37.0000000000000000
330
9.0000000000000000
331
50.5052889127822553
332
88.9280232319830901
333
84.6590419012579645
334
21.0000000000000000
335
53.0000000000000000
336
19.0000000000000000
337
43.2305877657575337
338
48.4108999297057423
339
38.6410396880164342
340
63.0000000000000000
341
75.0000000000000000
342
5.0000000000000000
343
55.6645881548176504
344
21.3276020124931733
345
77.6081441905926539
346
52.0000000000000000
347
23.0000000000000000
348
55.0000000000000000
349
96.8395034980481455
350
35.8151297975195746
351
30.9142272862421237
352
67.0000000000000000
353
40.0000000000000000
354
67.0000000000000000
355
82.3598796613209174
356
3.9223453616887616
357
58.7643700933911859
358
64.0000000000000000
359
78.0000000000000000
360
76.0000000000000000
361
4.4778278605628996
362
75.0121904265683099
363
35.8124400492522810
364
20.0000000000000000
365
67.0000000000000000
366
49.0000000000000000
367
73.7462025969559676
368
54.3978408726750402
369
22.9589914976967684
370
59.0000000000000000
371
98.0000000000000000
372
75.0000000000000000
373
86.4355336363863671
374
61.4671103648628971
375
64.2459010235333210
376
92.0000000000000000
377
53.0000000000000000
378
98.0000000000000000
379
65.4482511712935349
380
82.5112990250174931
381
82.2203311528713954
382
75.0000000000000000
383
2.0000000000000000
384
74.0000000000000000
385
48.1610477846048965
386
86.4883311384885474
387
93.1022208321771672
388
99.0000000000000000
389
48.0000000000000000
390
52.0000000000000000
391
92.1672419057730821
392
27.6808769192468205
393
96.1939345642776971
394
55.0000000000000000
395
1.0000000000000000
396
58.0000000000000000
397
19.8192100351532012
398
30.0955580258872146
399
25.7849223354135084
400
4.0000000000000000
401
37.0000000000000000
402
35.0000000000000000
403
43.3889697366086153
404
83.8167444140221534
405
28.8791873294471877
406
76.0000000000000000
407
37.0000000000000000
408
21.0000000000000000
409
90.6776200869512508
410
54.2168766685958587
411
60.4163661378233101
412
4.0000000000000000
413
71.0000000000000000
414
19.0000000000000000
415
73.9582690706798331
416
63.6862981846077574
417
68.4990832495908251
418
38.0000000000000000
419
36.0000000000000000
420
91.0000000000000000
421
23.6769834649905420
422
17.3084363484260138
423
57.0925069340326914
424
97.0000000000000000
425
44.0000000000000000
426
34.0000000000000000
427
50.9592225589662533
428
71.6730965508621267
429
35.7260190802085376
430
56.0000000000000000
431
5.0000000000000000
432
69.0000000000000000
433
62.1072270958887955
434
91.8714762797520166
435
81.1402408825063901
436
28.0000000000000000
437
44.0000000000000000
438
90.0000000000000000
439
94.5714028327086140
440
0.5211444073998539
441
68.7991584943916621
442
55.0000000000000000
443
50.0000000000000000
444
79.0000000000000000
445
34.9935618737575922
446
16.6081118552104954
447
88.3098083841205579
448
41.0000000000000000
449
31.0000000000000000
450
67.0000000000000000
451
75.7864421522416052
452
75.1647881688462576
453
8.9850031913604305
454
63.0000000000000000
455
31.0000000000000000
456
90.0000000000000000
457
46.6348271239532011
458
34.7204368318841929
459
91.0278239171224755
460
68.0000000000000000
461
97.0000000000000000
462
54.0000000000000000
463
63.0146149303882908
464
37.3307053141427545
465
28.9971623961408405
466
22.0000000000000000
467
7.0000000000000000
468
39.0000000000000000
469
7.9527517943830839
470
66.9076752142694176
471
2.6351679811363105
472
16.0000000000000000
473
23.0000000000000000
474
25.0000000000000000
475
38.0101840199490368
476
33.1804531859521532
477
66.6265530261131715
478
70.0000000000000000
479
52.0000000000000000
480
67.0000000000000000
481
10.7689770444951982
482
8.0233637810782845
483
27.0719706418504167
484
59.0000000000000000
485
65.0000000000000000
486
28.0000000000000000
487
65.4531823168385500
488
33.2875191946130329
489
61.3710266233823205
490
15.0000000000000000
491
8.0000000000000000
492
16.0000000000000000
493
74.9257957300950750
494
15.6014249855344183
495
15.3710025194740307
496
30.0000000000000000
497
80.0000000000000000
498
23.0000000000000000
499
55.3981006806734015
500
25.5806542006546493
501
78.0741620945977246
502
35.0000000000000000
503
75.0000000000000000
504
66.0000000000000000
505
19.0967348280281719
506
3.5563894093997406
507
20.9747784852765449
508
54.0000000000000000
509
4.0000000000000000
510
22.0000000000000000
511
67.7826082393756622
512
43.6359216087036117
513
47.0441041190756266
514
44.0000000000000000
515
57.0000000000000000
516
25.0000000000000000
517
37.5779094821720747
518
40.5416993884031314
519
16.4768000977932658
520
88.0000000000000000
521
56.0000000000000000
522
7.0000000000000000
523
82.2886698545928539
524
62.6828500426791635
525
18.2318179446458011
526
42.0000000000000000
527
76.0000000000000000
528
13.0000000000000000
529
68.3932397042914602
530
16.6166412662862584
531
86.0175824796261139
532
70.0000000000000000
533
65.0000000000000000
534
96.0000000000000000
535
71.5447766108702154
536
23.9741669566579816
537
71.4061786975888566
538
9.0000000000000000
539
24.0000000000000000
540
64.0000000000000000
541
50.0646388476537894
542
5.2139135232588840
543
19.7278106260340493
544
6.0000000000000000
545
21.0000000000000000
546
67.0000000000000000
547
89.8301663062534743
548
73.2306473953218529
549
44.6109944372400946
550
40.0000000000000000
551
41.0000000000000000
552
45.0000000000000000
553
35.9259843420691496
554
55.6565015024435894
555
98.4254542876455929
556
93.0000000000000000
557
83.0000000000000000
558
46.0000000000000000
559
11.1039800772354980
560
67.0638913256056810
561
83.8817654444311813
562
69.0000000000000000
563
41.0000000000000000
564
16.0000000000000000
565
34.2651745418781744
566
78.6160434637699268
567
34.3167663056206393
568
90.0000000000000000
569
63.0000000000000000
570
14.0000000000000000
571
84.9573352896360063
572
61.3670650164867126
573
47.4649692245321262
574
64.0000000000000000
575
96.0000000000000000
576
73.0000000000000000
577
38.3431524041811116
578
39.2491651260082008
579
30.3869040140215212
580
79.0000000000000000
581
94.0000000000000000
582
34.0000000000000000
583
92.5632787756786541
584
26.6155915295539067
585
50.4984621576360340
586
52.0000000000000000
587
17.0000000000000000
588
64.0000000000000000
589
28.0279066548316038
590
90.1871046550545117
591
88.6214707756672908
592
33.0000000000000000
593
80.0000000000000000
594
23.0000000000000000
595
71.9887313757575100
596
35.2325402056061563
597
85.8796555570616107
598
14.0000000000000000
599
71.0000000000000000
600
54.0000000000000000
601
58.3534285591028805
602
91.6033414760126021
603
3.5511685805655668
604
42.0000000000000000
605
11.0000000000000000
606
57.0000000000000000