Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (5.8 KB)

1
68.2924322657418656
2
62.0000000000000000
3
1.0000000000000000
4
88.9845853572081182
5
48.0000000000000000
6
1.0000000000000000
7
91.9648468484039228
8
60.0000000000000000
9
1.0000000000000000
10
24.7289451756404475
11
63.0000000000000000
12
1.0000000000000000
13
80.3000890704562096
14
55.0000000000000000
15
1.0000000000000000
16
48.3614285426000237
17
62.0000000000000000
18
1.0000000000000000
19
55.5391136172338946
20
71.0000000000000000
21
1.0000000000000000
22
7.9889199621878682
23
78.0000000000000000
24
1.0000000000000000
25
84.0610779014205178
26
90.0000000000000000
27
1.0000000000000000
28
46.3382226048601780
29
46.0000000000000000
30
1.0000000000000000
31
46.1896898370940363
32
77.0000000000000000
33
1.0000000000000000
34
58.2483271375252940
35
79.0000000000000000
36
1.0000000000000000
37
93.4054095408054934
38
30.0000000000000000
39
1.0000000000000000
40
63.7282951193496530
41
81.0000000000000000
42
1.0000000000000000
43
69.6906737452994065
44
38.0000000000000000
45
1.0000000000000000
46
73.0745855357235996
47
4.0000000000000000
48
1.0000000000000000
49
37.1532365254272463
50
75.0000000000000000
51
1.0000000000000000
52
27.5179417662345003
53
93.0000000000000000
54
1.0000000000000000
55
7.3105811214245424
56
86.0000000000000000
57
1.0000000000000000
58
26.9443303303558928
59
91.0000000000000000
60
1.0000000000000000
61
88.9355043790716309
62
65.0000000000000000
63
1.0000000000000000
64
57.2406638852499299
65
21.0000000000000000
66
1.0000000000000000
67
76.9673919878363364
68
89.0000000000000000
69
1.0000000000000000
70
13.6574060984680727
71
38.0000000000000000
72
1.0000000000000000
73
53.3498749170054793
74
57.0000000000000000
75
1.0000000000000000
76
53.2527527341182676
77
12.0000000000000000
78
1.0000000000000000
79
39.3650724356939392
80
56.0000000000000000
81
1.0000000000000000
82
3.3125541448065565
83
77.0000000000000000
84
1.0000000000000000
85
49.5576072422165481
86
47.0000000000000000
87
1.0000000000000000
88
37.4884150916458623
89
99.0000000000000000
90
1.0000000000000000
91
4.3250808852033700
92
49.0000000000000000
93
1.0000000000000000
94
64.9831654544020410
95
1.0000000000000000
96
1.0000000000000000
97
92.4438548022039015
98
43.0000000000000000
99
1.0000000000000000
100
69.3675956502853239
101
44.0000000000000000
102
1.0000000000000000
103
79.5508470907645204
104
95.0000000000000000
105
1.0000000000000000
106
18.7820963732158610
107
77.0000000000000000
108
1.0000000000000000
109
33.9859875916154976
110
20.0000000000000000
111
1.0000000000000000
112
51.5250568579059163
113
15.0000000000000000
114
1.0000000000000000
115
55.7283638790577172
116
93.0000000000000000
117
1.0000000000000000
118
75.1055169239104146
119
17.0000000000000000
120
1.0000000000000000
121
49.3324170099231267
122
99.0000000000000000
123
1.0000000000000000
124
99.6446935857047293
125
18.0000000000000000
126
1.0000000000000000
127
77.3339709810986733
128
66.0000000000000000
129
1.0000000000000000
130
2.3911261329569888
131
32.0000000000000000
132
1.0000000000000000
133
31.3396114268860941
134
65.0000000000000000
135
1.0000000000000000
136
32.8935475394770833
137
50.0000000000000000
138
1.0000000000000000
139
71.5138096837510489
140
89.0000000000000000
141
1.0000000000000000
142
64.4155830553661986
143
27.0000000000000000
144
1.0000000000000000
145
67.1917229860705589
146
97.0000000000000000
147
1.0000000000000000
148
50.3692971164420342
149
1.0000000000000000
150
1.0000000000000000
151
0.9398701495466844
152
67.0000000000000000
153
1.0000000000000000
154
39.9832930989656745
155
37.0000000000000000
156
1.0000000000000000
157
49.7377481275459417
158
37.0000000000000000
159
1.0000000000000000
160
46.2312849061388675
161
27.0000000000000000
162
1.0000000000000000
163
33.9984934309725446
164
92.0000000000000000
165
1.0000000000000000
166
57.4511548584080458
167
7.0000000000000000
168
1.0000000000000000
169
29.3029771773020684
170
85.0000000000000000
171
1.0000000000000000
172
9.7161675896680340
173
68.0000000000000000
174
1.0000000000000000
175
99.1837695809990265
176
46.0000000000000000
177
1.0000000000000000
178
1.0581755580451047
179
13.0000000000000000
180
1.0000000000000000
181
30.3008870973228923
182
98.0000000000000000
183
1.0000000000000000
184
46.8693683696128289
185
2.0000000000000000
186
1.0000000000000000
187
41.5654318679835839
188
12.0000000000000000
189
1.0000000000000000
190
89.5618867585606893
191
56.0000000000000000
192
1.0000000000000000
193
96.8840339954013956
194
41.0000000000000000
195
1.0000000000000000
196
76.4451326712057266
197
63.0000000000000000
198
1.0000000000000000
199
23.9751779618857839
200
32.0000000000000000
201
1.0000000000000000
202
20.5642190581493800
203
16.0000000000000000
204
1.0000000000000000
205
8.3595045152797915
206
69.0000000000000000
207
1.0000000000000000
208
47.0530514093260166
209
15.0000000000000000
210
1.0000000000000000
211
66.9692868495447584
212
6.0000000000000000
213
1.0000000000000000
214
56.8118601757184862
215
20.0000000000000000
216
1.0000000000000000
217
76.0556403631562716
218
42.0000000000000000
219
1.0000000000000000
220
23.7887643590392841
221
18.0000000000000000
222
1.0000000000000000
223
29.1824292775479393
224
64.0000000000000000
225
1.0000000000000000
226
97.8137019627488087
227
2.0000000000000000
228
1.0000000000000000
229
32.5453939585692211
230
44.0000000000000000
231
1.0000000000000000
232
27.0860029782620799
233
97.0000000000000000
234
1.0000000000000000
235
94.3649854889056883
236
27.0000000000000000
237
1.0000000000000000
238
39.1792277965467690
239
55.0000000000000000
240
1.0000000000000000
241
90.0540002495893646
242
98.0000000000000000
243
1.0000000000000000
244
62.5948810144124863
245
24.0000000000000000
246
1.0000000000000000
247
17.8225284295011939
248
46.0000000000000000
249
1.0000000000000000
250
78.7392849369695540
251
95.0000000000000000
252
1.0000000000000000
253
47.0888978912719764
254
64.0000000000000000
255
1.0000000000000000
256
41.2518695909605313
257
29.0000000000000000
258
1.0000000000000000
259
77.1134032246579721
260
9.0000000000000000
261
1.0000000000000000
262
63.7905880002720878
263
98.0000000000000000
264
1.0000000000000000
265
99.7107321842083820
266
30.0000000000000000
267
1.0000000000000000
268
84.5671316177915173
269
15.0000000000000000
270
1.0000000000000000
271
92.5547820455925034
272
38.0000000000000000
273
1.0000000000000000
274
66.2163104379214928
275
79.0000000000000000
276
1.0000000000000000
277
89.5768082748627705
278
44.0000000000000000
279
1.0000000000000000
280
72.4213720405078050
281
10.0000000000000000
282
1.0000000000000000
283
76.5009458486574374
284
27.0000000000000000
285
1.0000000000000000
286
97.5622638379871887
287
57.0000000000000000
288
1.0000000000000000
289
85.2954276810674941
290
98.0000000000000000
291
1.0000000000000000
292
94.4910956828187381
293
55.0000000000000000
294
1.0000000000000000
295
41.7253002098832084
296
36.0000000000000000
297
1.0000000000000000
298
22.9326669334333211
299
75.0000000000000000
300
1.0000000000000000
301
49.0345720272166687
302
20.0000000000000000
303
1.0000000000000000