Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (5.89 KB)

1
51.8615315841458937
2
52.6514404700660350
3
28.3936603703168977
4
26.5173737988846483
5
40.7351734915887604
6
64.8071906253925221
7
85.1765963330327622
8
57.3324512666861708
9
3.0799408009836604
10
62.7672355943722948
11
86.0217773943482911
12
33.2689690839352608
13
51.9499175635085209
14
9.1684307566729188
15
12.7276731766467144
16
9.9093668607924119
17
18.7133936999522845
18
68.6811546910794561
19
98.3719601808425921
20
99.0608893187829409
21
92.3884831900782331
22
69.1701196643921037
23
50.9737855089823739
24
44.8963042062448494
25
41.5469368741294005
26
32.9041371544122612
27
72.2025145596164748
28
28.8680223491957868
29
34.7951774944813792
30
39.5171525000850536
31
9.3219870324390506
32
30.3225417724571109
33
43.1677854853573777
34
64.7509911523383010
35
54.4606521260809586
36
32.9547163029134325
37
89.6812959926384394
38
22.4328877002438318
39
38.5582562281137484
40
19.9744622643872489
41
84.9850070938018973
42
50.9090572314870116
43
45.1854051737792162
44
38.2295677704763577
45
36.8465521537190597
46
50.6191437891272429
47
28.5771535026900239
48
57.3878264751250029
49
70.0163302015681097
50
21.6187867128629492
51
30.5199852326171879
52
0.1976218368357707
53
56.4135619202309613
54
60.6276614629083568
55
79.9241288478140177
56
61.3994648238428340
57
78.8605715765935571
58
77.0353590630087695
59
32.0685564251278592
60
15.9693258680643204
61
22.5700432331754399
62
57.1605407601242916
63
61.1554139822619618
64
76.1130501587812347
65
3.6100426566777588
66
21.4879756130531128
67
36.7685216528413790
68
79.2099372682584857
69
41.5021339696428058
70
67.2055834583792091
71
42.8513163308034351
72
30.5604375887836959
73
41.2746221217651694
74
46.2416285562093989
75
99.0872475189135429
76
13.6805568151644135
77
92.5764567533034608
78
40.1991765172255242
79
60.5275129774315062
80
66.0404906507111633
81
67.0430317666122164
82
21.0789293967550542
83
90.7980387165381586
84
17.5949150330557593
85
28.4695661092331704
86
67.0741986735048812
87
20.6562431767358454
88
84.2779982115030890
89
45.7250777986475967
90
64.6920305537885554
91
5.2959839056151425
92
34.4423226612934812
93
39.4576248199738018
94
4.3821085344240895
95
44.0398409826417208
96
16.2436496085154758
97
48.8770794671942852
98
12.8006775515316367
99
38.2601744127170846
100
42.3992657526449293
101
84.8692803993185407
102
32.9864842880231848
103
42.2255098059892333
104
14.8176158666070474
105
64.5211397737412256
106
45.0285942160159181
107
49.4092597105861699
108
42.4987901903908138
109
16.0598139296943216
110
62.5681410878460156
111
21.1797174199318547
112
88.5032558746727318
113
49.2116250666741450
114
39.2482235536456869
115
21.5680930535241160
116
46.0602501433328015
117
72.1660155972886912
118
39.8934625909995972
119
54.5524786365816610
120
48.1091977590653030
121
69.7864977149158250
122
53.2759911654380076
123
93.2612927380081089
124
94.9983289054884352
125
41.7539801261457413
126
77.3480067726496685
127
54.2168819902290053
128
23.7999570953351771
129
2.8700330002681462
130
59.3824938042419674
131
53.4167735914206503
132
5.5258767810477778
133
24.7548512491910664
134
82.0275191724667820
135
48.2994992154816529
136
79.7672158690110535
137
11.1696304489984914
138
41.0803006002903217
139
40.1670833396200351
140
31.1870170830990432
141
49.5391210629308887
142
32.6761194161507760
143
79.7364699020153012
144
58.3664638184455242
145
25.0734719834549296
146
34.0786214649655506
147
6.2638087278061967
148
71.2170074447774226
149
46.8180128950955705
150
63.4211516966826849
151
31.3618149484582105
152
49.5338774523293637
153
27.1566282751016033
154
71.7657274061662918
155
46.7898523199722476
156
25.5705887951081507
157
64.1075360822059110
158
39.5820848742635789
159
97.0485483528970150
160
71.3306551640157522
161
3.4358663794882838
162
82.2686600059026745
163
8.3512336246817540
164
36.1174547574620632
165
85.5604709485923962
166
28.3828990284596756
167
46.1732627446811108
168
1.3316315970460901
169
64.9526145664237902
170
24.1081795243992758
171
18.3822991919703540
172
56.7188827251082444
173
37.6922810652170455
174
97.9448500862771709
175
99.2899662695814271
176
93.5706601725745202
177
84.8195645969452130
178
30.8532510771815218
179
98.6044765546308497
180
8.1951029963786013
181
80.7598888772353405
182
22.7940748464206102
183
13.7466932697628117
184
60.9100662022816408
185
19.1402589277510842
186
30.5172210274787581
187
1.5583909020990605
188
7.7768403659502212
189
44.1699949997034196
190
41.9581210843250290
191
53.8047303600911988
192
52.4332704394827402
193
40.3197048704083798
194
60.0262669935988953
195
14.5813660571454164
196
60.8346003914889550
197
30.5985929205815594
198
58.6775873128640981
199
47.9491932886295302
200
91.3045413630947991
201
86.5184849697080267
202
95.4494632311855611
203
82.5543321427216625
204
99.5672805515787473
205
89.3271964271945507
206
12.6992694503110908
207
86.5762122821805491
208
56.7026276540008709
209
21.2229740377563161
210
33.5411759245895738
211
15.7526167190660367
212
72.6485378460501749
213
40.0821453709559563
214
99.0172972140856587
215
23.9334185587610762
216
13.1432741609447064
217
71.7418104018987322
218
44.2212507542894215
219
33.6179334162669221
220
10.0907579011905941
221
90.6742425334011131
222
93.8133193053123620
223
94.3875473615406690
224
45.6801762805727023
225
46.2691362975668952
226
41.3029298649396992
227
64.8810324401786858
228
9.9879807139400469
229
60.2805904517314062
230
51.4389061363102016
231
77.4681230280526592
232
28.7210246685467254
233
98.4852081590060777
234
5.7268994147651746
235
39.3751985384201646
236
40.7126361801739236
237
8.0203166546184974
238
53.6203557052663342
239
33.7077271738350035
240
0.6246400879888148
241
23.5488446439220844
242
96.3200030160222838
243
89.0560377845081774
244
77.0331827806883211
245
46.0449125230113410
246
61.0501370459402892
247
82.5262322736361966
248
37.2814541334701843
249
71.1130700377552927
250
97.6738089758745929
251
99.1756412803769791
252
63.8160689891436235
253
55.9098346464049882
254
25.5462676546607135
255
73.7641199966729459
256
5.1039299491098529
257
21.5767836722868154
258
46.0086256831337863
259
23.6140737709610313
260
63.0629189774445038
261
51.4738649110207618
262
90.7606558169333084
263
32.7076038300488676
264
63.1624866685808328
265
27.8733087916711710
266
92.2705713681099979
267
79.1608486291884361
268
41.4059582450257011
269
36.1474244560437867
270
31.0599049646947307
271
0.1094418899540317
272
81.5321019934247460
273
0.9741428697621290
274
16.1541998620963518
275
78.2352188829273985
276
42.6759701470567876
277
45.9698556518206232
278
42.1854641264747698
279
38.8151715139909328
280
45.5341011594474949
281
84.1040619040966675
282
97.5311366024677682
283
2.0640606307463005
284
87.5722332726325021
285
43.5854447548128192
286
51.9107126376122210
287
26.1758782465199218
288
33.2620035446292164
289
83.3153758679736001
290
79.5371687075568445
291
49.3215379532448210
292
29.6749774912711608
293
94.5263656838005346
294
59.9400903980089907
295
74.7144119048926854
296
53.4967691613621810
297
41.5471264285315982
298
90.7571635524998754
299
52.5012068231464042
300
73.0974370893621881
301
27.5828835493583959
302
46.1330297349195746
303
51.1914216350386369