Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.92 KB)

1
15.6726960509398712
2
79.8498190838569002
3
68.6554828317164976
4
38.0230790418989884
5
65.6208634511911555
6
45.4586490209408680
7
43.3700211403691398
8
38.6622014070705262
9
16.3325532506020004
10
72.6068763057591866
11
18.1154139680909658
12
46.1768019889563064
13
95.2858907315173411
14
12.1103519677457463
15
53.0363531226682454
16
68.7390069659079614
17
90.1030053602413119
18
51.5540920560328644
19
54.6420434396700330
20
39.7353255443414710
21
3.5854601839542255
22
79.5961971111634057
23
65.3238311522806043
24
82.2239061652181817
25
58.4198601457170952
26
14.8488630276409577
27
7.6410501420771659
28
97.5123181458965860
29
53.3329024570380312
30
11.2514649192901004
31
53.2651016589131174
32
36.6514602353922001
33
74.8610963022178453
34
36.4145962251775188
35
32.5821403699974042
36
84.7919723481182217
37
47.6166173974177696
38
74.5153095001894883
39
18.3231084208797093
40
73.5765646814855074
41
89.2998774222695886
42
51.7911508254251558
43
37.9958634698530773
44
2.6379893289263601
45
12.3329660474763578
46
34.3827862440402896
47
9.8296473192932883
48
49.1859002909462362
49
23.2122631453137842
50
17.9859519083507600
51
83.4669911017008985
52
95.6116106101657977
53
85.8095461142701339
54
46.7222145985009760
55
83.1715695479364854
56
90.6956321196548458
57
11.8411920566209190
58
73.7794819499790577
59
72.6652350799299711
60
53.9083255598641031
61
86.2408600411440460
62
77.0705533712037720
63
85.9773224499606670
64
50.2240660997516741
65
40.8942032842516525
66
90.5316825679016546
67
97.1875154124983709
68
65.0042961030123649
69
12.3587477019555525
70
66.4304553194253486
71
96.5501749189613037
72
54.2719713288249892
73
52.4237664521167375
74
12.9357193505440389
75
24.2223003798664465
76
74.5921227322087077
77
41.0126209552949774
78
22.9302639038572167
79
83.6598875851279189
80
7.8867462549059963
81
2.0463564600210593
82
53.7689071998752937
83
78.5614567476578429
84
91.4304569248838561
85
75.3456833172395477
86
36.3173064247929958
87
39.3924496891839482
88
90.5674360705785375
89
27.5646359312412876
90
79.7318941738651432
91
98.0069588103665126
92
77.9280624060789080
93
59.3785831722833706
94
74.2799291836688411
95
66.6177480218975404
96
74.6234744510465475
97
53.7063844725712869
98
71.9535376142683845
99
94.3856982258972863
100
42.5975899630805088
101
4.6266428727214652
102
52.1351927530226220
103
4.6086644036268165
104
33.2833072617027454
105
1.1791931635239283
106
7.0101352523505795
107
16.7240013240510628
108
94.5908302328740831
109
19.5211989897327349
110
30.5837895464313938
111
12.4557059100134371
112
11.9634290860369141
113
53.7693054100463854
114
28.9321692030386615
115
1.6574901949602427
116
21.9286562843966628
117
0.9172401948854381
118
8.1631849733636912
119
11.0819024865788087
120
47.3003551063204242
121
49.7740295844844809
122
21.4687757209730314
123
46.7517671976487961
124
3.2559232330793386
125
55.9497166918492965
126
32.8925324784470803
127
69.3929913340821400
128
14.6958108790562925
129
90.9980198960327726
130
60.8780282235736578
131
69.2289230768548123
132
71.2399516654750755
133
21.6207477154191992
134
65.8706330501200625
135
86.4129459231633916
136
53.2809536967298527
137
47.3999069455675581
138
49.3778430115577009
139
82.3315226489678196
140
67.5946402946643161
141
42.8151665921370892
142
3.0825269733138705
143
31.3025029498217293
144
79.7787723982174839
145
50.6281497178328053
146
52.1766787997316825
147
7.9209426492933277
148
60.6232367592723804
149
34.9998743377614048
150
83.6120940837500228
151
52.4800007732530460
152
47.6928674892136826
153
4.0953344933637004
154
4.6982110310825664
155
99.8873617485512000
156
87.3478940130611647
157
62.4450668207479822
158
74.1473801206401220
159
63.8183821437343326
160
75.1600620644680362
161
6.0969469900655548
162
19.8943322943346494
163
1.8146316466381096
164
33.9920059955775571
165
69.3168791399397151
166
51.8630405718755938
167
0.1488837378689323
168
7.3196590352117674
169
38.5717752815643991
170
46.7057399668875490
171
44.3039654692778271
172
17.1608347376928307
173
84.8404761842210746
174
58.3140999419000323
175
51.0925852198456454
176
91.8785228387766466
177
18.2148275601486276
178
35.3645016049546328
179
95.4057329762959370
180
34.7676965253650749
181
68.7185343951596650
182
43.2662386434716808
183
71.1359502312260048
184
20.7151775760362931
185
88.4555784899265234
186
32.4073596549901310
187
20.4151316971675314
188
92.4949444457418934
189
85.2837094694714608
190
91.9701709563935452
191
29.5183617953540853
192
66.6274858336113596
193
11.9812382910000288
194
96.9891502795883440
195
55.6636927101965782
196
16.2639605157121707
197
91.2891783733879123
198
90.8674731453797477
199
36.9929724416844365
200
47.9780644217991465
201
16.1418331581309680
202
96.0482312594456999