Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_bias_test / bias_test_bias_test_input_values @ 0c9457a0

History | View | Annotate | Download (6.17 KB)

1
13.031183154768
2
74.89502124085115
3
92.75025947017942
4
57
5
14
6
39
7
76.23319225593785
8
40.659318682745116
9
3.6304339004023634
10
62
11
9
12
20
13
42.05734324769166
14
74.70129239777916
15
66.80510077823011
16
69
17
74
18
1
19
29.011901552003284
20
44.58533296368182
21
24.714717890889414
22
68
23
80
24
75
25
27.03864124152082
26
6.337928046631969
27
55.008448998499425
28
32
29
47
30
89
31
29.862359712335362
32
26.16424609725475
33
82.56548902790024
34
58
35
31
36
48
37
35.68939623122207
38
55.93697349160167
39
82.20130130525412
40
99
41
7
42
58
43
45.97061031600478
44
28.665538550848822
45
5.807490883559363
46
15
47
9
48
76
49
29.970621621430528
50
81.52589685394396
51
95.38520691792928
52
99
53
76
54
14
55
43.39054320499993
56
83.38585817477781
57
28.889578627362766
58
13
59
33
60
62
61
38.26820371199581
62
93.2101917245123
63
4.88304241006986
64
15
65
37
66
49
67
20.796375773514853
68
96.88658944629508
69
9.78824619103107
70
59
71
1
72
81
73
21.690897071244276
74
18.05278960978265
75
36.68622341575538
76
92
77
62
78
42
79
42.78939806282326
80
83.25783231185886
81
78.77678810412755
82
15
83
2
84
6
85
27.983861018255784
86
51.36071871080898
87
86.48368076119243
88
25
89
6
90
26
91
54.83872189176563
92
46.14254535280358
93
55.242951655097436
94
96
95
46
96
63
97
75.24997648733549
98
44.04557173916624
99
16.365339094675036
100
64
101
16
102
16
103
67.93114050211534
104
27.00597491483878
105
96.17926114574298
106
8
107
72
108
56
109
47.614760850564785
110
72.43970845876431
111
2.904839684871807
112
25
113
63
114
21
115
80.34454129291187
116
85.16611362844374
117
91.15764007847697
118
0
119
70
120
89
121
74.36983258387532
122
7.222165499957322
123
17.717047363486373
124
41
125
20
126
93
127
96.62577669791446
128
15.307540606548297
129
28.311707553640474
130
90
131
67
132
37
133
36.602028110197274
134
33.582470944977935
135
31.951186000058275
136
72
137
40
138
18
139
33.08555429063974
140
70.10085647090278
141
53.68617997067712
142
41
143
97
144
27
145
4.889699268331094
146
12.170870232219855
147
8.35647449623307
148
69
149
56
150
42
151
98.61758637168319
152
43.26120121752604
153
5.889135305038518
154
76
155
64
156
4
157
84.84497670480314
158
88.25560012652636
159
95.49028543466981
160
80
161
75
162
62
163
10.308077875924326
164
83.40462376028994
165
35.024135758766796
166
93
167
22
168
76
169
56.72907007287095
170
57.74567141365756
171
34.51863173783731
172
0
173
49
174
5
175
37.40511297184157
176
79.3969382046515
177
19.147779166673462
178
78
179
91
180
16
181
47.52681291413848
182
0.0014374995282118164
183
28.846528886992296
184
99
185
47
186
11
187
43.549377766117836
188
41.595651629368255
189
2.328760142227815
190
71
191
79
192
21
193
6.570199257403953
194
13.905453507285227
195
30.114161069251445
196
79
197
31
198
4
199
41.22527691926475
200
51.38424254391856
201
4.210362199366735
202
61
203
47
204
44
205
69.43701114315198
206
81.6895933869606
207
98.44686439877943
208
84
209
15
210
45
211
91.45122929831206
212
54.8927831574362
213
48.86994023967861
214
89
215
67
216
51
217
94.14328605069575
218
21.498007528911767
219
20.65681636892599
220
35
221
4
222
10
223
25.153489855046274
224
90.3270964555254
225
72.62083511940465
226
19
227
50
228
84
229
55.10659372622584
230
73.02296419896652
231
89.50710164642821
232
2
233
63
234
98
235
23.479229806033874
236
60.08963424758264
237
98.03722351726726
238
57
239
20
240
73
241
93.60709570117314
242
43.32822381451725
243
96.33570053585483
244
50
245
46
246
44
247
58.64699967668003
248
65.60054102126071
249
93.56168314290642
250
23
251
50
252
47
253
92.79074727659427
254
18.091077438431512
255
91.76884410327128
256
19
257
63
258
32
259
63.71121615166418
260
96.9805877206829
261
7.311623063720019
262
84
263
34
264
11
265
40.76355921849161
266
84.59164010489081
267
90.66238528174999
268
40
269
31
270
13
271
33.189212854950576
272
23.183741535768853
273
3.6329252505102105
274
59
275
0
276
58
277
21.408145174097083
278
69.38654586969395
279
31.2697899638972
280
57
281
27
282
57
283
0.9374003517819252
284
14.828111238623087
285
16.7477561035112
286
7
287
84
288
31
289
64.24600376008772
290
24.950806216467925
291
84.11132781171099
292
69
293
87
294
26
295
15.732577636288447
296
61.53862402899816
297
34.93223932541174
298
38
299
58
300
59
301
90.77867474522778
302
28.982667869588774
303
8.467238270319012
304
99
305
31
306
75
307
42.62860833241994
308
46.79256399311571
309
51.87482517847988
310
45
311
45
312
5
313
99.7094718462574
314
23.04580149583284
315
91.63627643101141
316
62
317
30
318
73
319
49.70306747800428
320
93.4939140820097
321
56.909367542377254
322
41
323
3
324
28
325
48.0044430824895
326
8.406513022319118
327
81.66201370471178
328
67
329
80
330
51
331
5.350266660347913
332
21.566233007511283
333
60.24909108343787
334
24
335
19
336
23
337
38.572395436730645
338
22.23750302852101
339
32.34230611658738
340
90
341
89
342
15
343
37.29923992060266
344
42.60699521360611
345
61.01626356455342
346
79
347
67
348
44
349
23.03857789697461
350
20.839011974027176
351
73.82597422256478
352
88
353
81
354
81
355
41.46323049043183
356
38.85424183270886
357
34.27337219913661
358
91
359
29
360
19
361
82.96883889942549
362
79.3711693689645
363
95.1926514890458
364
81
365
52
366
65
367
57.1348585522088
368
64.43809424165832
369
46.04140519535736
370
4
371
29
372
63
373
41.12078619681133
374
20.15141303668685
375
20.171646758742256
376
37
377
3
378
54
379
14.056244854323063
380
91.58007107631676
381
39.50111562377604
382
79
383
91
384
81
385
85.03908284386894
386
77.11936980616522
387
40.51331429678561
388
0
389
54
390
12
391
18.939775828036375
392
12.492923216209972
393
4.268697319384107
394
0
395
27
396
31
397
60.87877505891187
398
36.27771229190775
399
22.980350619389178
400
34
401
80
402
34
403
50.65879147212065
404
97.0792142706235
405
30.686122921110503
406
82
407
91
408
33
409
38.09560005778806
410
56.130436993470454
411
30.1212745893087
412
56
413
19
414
66
415
62.61586392214598
416
44.74386752761879
417
58.8672704057715
418
25
419
56
420
38
421
96.86349933246872
422
73.67007862853461
423
44.501632449764436
424
26
425
59
426
8
427
47.10972668893272
428
2.959771154413371
429
39.609471437986244
430
77
431
58
432
97
433
38.94594857073661
434
2.197377991116256
435
83.85093295373999
436
53
437
95
438
11
439
79.57198181899204
440
88.16122497506286
441
57.38960756629773
442
50
443
1
444
75
445
1.779893232927121
446
95.04581091052167
447
73.6397422642806
448
13
449
38
450
92
451
10.792112722470016
452
63.19504792315862
453
65.55997094264845
454
24
455
69
456
32
457
41.940759567619835
458
52.71072210749581
459
74.60771239144819
460
2
461
48
462
87
463
78.62576766552853
464
8.172398638539836
465
7.686002450720841
466
68
467
50
468
38
469
44.68121899586307
470
95.07948314676365
471
18.453518812616455
472
78
473
13
474
4
475
46.13513532205646
476
65.37430889504718
477
86.6740331868852
478
49
479
10
480
43
481
96.16350873786446
482
97.8178621975453
483
13.169675083318
484
96
485
95
486
34
487
72.11425379413629
488
19.07871873559731
489
25.249307679954136
490
82
491
63
492
3
493
60.215479701343334
494
24.704776188247045
495
45.32716981005942
496
9
497
38
498
12
499
2.7404495795567696
500
11.440199496333713
501
47.62758756573516
502
53
503
43
504
46
505
75.42098757132568
506
67.34455939648272
507
35.93189371870028
508
91
509
0
510
57
511
7.0165477533072345
512
85.91913627929328
513
95.86459652308407
514
26
515
68
516
12
517
64.25958174910704
518
85.66147991594654
519
43.44731945507807
520
97
521
53
522
72
523
49.68526504222758
524
68.81387087108824
525
14.951794268139407
526
65
527
7
528
15
529
36.974009808711074
530
32.316802244774976
531
99.60144529402956
532
17
533
48
534
88
535
74.23864669705488
536
12.862725946532972
537
96.89490091379362
538
87
539
70
540
9
541
31.87701856471622
542
14.061483781859362
543
96.68424950624315
544
85
545
62
546
51
547
69.52312476836563
548
75.24297962041267
549
38.113701565534384
550
60
551
48
552
43
553
47.723850172257954
554
47.84200503292293
555
45.27257171546473
556
74
557
44
558
7
559
61.68468147453591
560
56.78529198698756
561
43.5906315599451
562
46
563
81
564
61
565
33.72590494431639
566
81.07250378708734
567
96.17345407463199
568
58
569
75
570
42
571
7.343312535403513
572
84.25720597391374
573
14.122408631978956
574
92
575
5
576
58
577
97.11070401497308
578
5.467679791815971
579
16.923900956845863
580
13
581
95
582
61
583
64.84408758840786
584
5.149638816422952
585
64.03289077340055
586
66
587
23
588
80
589
91.37722556015088
590
86.16219723885987
591
98.19073507631816
592
65
593
17
594
31
595
78.12127483778532
596
15.597551532542154
597
41.51378011987637
598
41
599
44
600
13