Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Microwave / input_values @ eb639349

History | View | Annotate | Download (7.59 KB)

1
1.0000000000000000
2
1.0000000000000000
3
89.0000000000000000
4
1.0000000000000000
5
1.0000000000000000
6
1.0000000000000000
7
80.0000000000000000
8
1.0000000000000000
9
1.0000000000000000
10
1.0000000000000000
11
93.0000000000000000
12
1.0000000000000000
13
1.0000000000000000
14
1.0000000000000000
15
18.0000000000000000
16
1.0000000000000000
17
1.0000000000000000
18
1.0000000000000000
19
52.0000000000000000
20
1.0000000000000000
21
1.0000000000000000
22
1.0000000000000000
23
63.0000000000000000
24
1.0000000000000000
25
1.0000000000000000
26
1.0000000000000000
27
92.0000000000000000
28
1.0000000000000000
29
1.0000000000000000
30
1.0000000000000000
31
67.0000000000000000
32
1.0000000000000000
33
1.0000000000000000
34
1.0000000000000000
35
39.0000000000000000
36
1.0000000000000000
37
1.0000000000000000
38
1.0000000000000000
39
75.0000000000000000
40
1.0000000000000000
41
1.0000000000000000
42
1.0000000000000000
43
82.0000000000000000
44
1.0000000000000000
45
1.0000000000000000
46
1.0000000000000000
47
61.0000000000000000
48
1.0000000000000000
49
1.0000000000000000
50
1.0000000000000000
51
9.0000000000000000
52
1.0000000000000000
53
1.0000000000000000
54
1.0000000000000000
55
93.0000000000000000
56
1.0000000000000000
57
1.0000000000000000
58
1.0000000000000000
59
6.0000000000000000
60
1.0000000000000000
61
1.0000000000000000
62
1.0000000000000000
63
53.0000000000000000
64
1.0000000000000000
65
1.0000000000000000
66
1.0000000000000000
67
12.0000000000000000
68
1.0000000000000000
69
1.0000000000000000
70
1.0000000000000000
71
39.0000000000000000
72
1.0000000000000000
73
1.0000000000000000
74
1.0000000000000000
75
82.0000000000000000
76
1.0000000000000000
77
1.0000000000000000
78
1.0000000000000000
79
25.0000000000000000
80
1.0000000000000000
81
1.0000000000000000
82
1.0000000000000000
83
89.0000000000000000
84
1.0000000000000000
85
1.0000000000000000
86
1.0000000000000000
87
72.0000000000000000
88
1.0000000000000000
89
1.0000000000000000
90
1.0000000000000000
91
38.0000000000000000
92
1.0000000000000000
93
1.0000000000000000
94
1.0000000000000000
95
25.0000000000000000
96
1.0000000000000000
97
1.0000000000000000
98
1.0000000000000000
99
26.0000000000000000
100
1.0000000000000000
101
1.0000000000000000
102
1.0000000000000000
103
77.0000000000000000
104
1.0000000000000000
105
1.0000000000000000
106
1.0000000000000000
107
5.0000000000000000
108
1.0000000000000000
109
1.0000000000000000
110
1.0000000000000000
111
69.0000000000000000
112
1.0000000000000000
113
1.0000000000000000
114
1.0000000000000000
115
63.0000000000000000
116
1.0000000000000000
117
1.0000000000000000
118
1.0000000000000000
119
75.0000000000000000
120
1.0000000000000000
121
1.0000000000000000
122
1.0000000000000000
123
98.0000000000000000
124
1.0000000000000000
125
1.0000000000000000
126
1.0000000000000000
127
39.0000000000000000
128
1.0000000000000000
129
1.0000000000000000
130
1.0000000000000000
131
27.0000000000000000
132
1.0000000000000000
133
1.0000000000000000
134
1.0000000000000000
135
88.0000000000000000
136
1.0000000000000000
137
1.0000000000000000
138
1.0000000000000000
139
81.0000000000000000
140
1.0000000000000000
141
1.0000000000000000
142
1.0000000000000000
143
47.0000000000000000
144
1.0000000000000000
145
1.0000000000000000
146
1.0000000000000000
147
10.0000000000000000
148
1.0000000000000000
149
1.0000000000000000
150
1.0000000000000000
151
57.0000000000000000
152
1.0000000000000000
153
1.0000000000000000
154
1.0000000000000000
155
19.0000000000000000
156
1.0000000000000000
157
1.0000000000000000
158
1.0000000000000000
159
54.0000000000000000
160
1.0000000000000000
161
1.0000000000000000
162
1.0000000000000000
163
36.0000000000000000
164
1.0000000000000000
165
1.0000000000000000
166
1.0000000000000000
167
32.0000000000000000
168
1.0000000000000000
169
1.0000000000000000
170
1.0000000000000000
171
73.0000000000000000
172
1.0000000000000000
173
1.0000000000000000
174
1.0000000000000000
175
52.0000000000000000
176
1.0000000000000000
177
1.0000000000000000
178
1.0000000000000000
179
80.0000000000000000
180
1.0000000000000000
181
1.0000000000000000
182
1.0000000000000000
183
21.0000000000000000
184
1.0000000000000000
185
1.0000000000000000
186
1.0000000000000000
187
68.0000000000000000
188
1.0000000000000000
189
1.0000000000000000
190
1.0000000000000000
191
6.0000000000000000
192
1.0000000000000000
193
1.0000000000000000
194
1.0000000000000000
195
81.0000000000000000
196
1.0000000000000000
197
1.0000000000000000
198
1.0000000000000000
199
68.0000000000000000
200
1.0000000000000000
201
1.0000000000000000
202
1.0000000000000000
203
95.0000000000000000
204
1.0000000000000000
205
1.0000000000000000
206
1.0000000000000000
207
10.0000000000000000
208
1.0000000000000000
209
1.0000000000000000
210
1.0000000000000000
211
91.0000000000000000
212
1.0000000000000000
213
1.0000000000000000
214
1.0000000000000000
215
51.0000000000000000
216
1.0000000000000000
217
1.0000000000000000
218
1.0000000000000000
219
62.0000000000000000
220
1.0000000000000000
221
1.0000000000000000
222
1.0000000000000000
223
32.0000000000000000
224
1.0000000000000000
225
1.0000000000000000
226
1.0000000000000000
227
8.0000000000000000
228
1.0000000000000000
229
1.0000000000000000
230
1.0000000000000000
231
86.0000000000000000
232
1.0000000000000000
233
1.0000000000000000
234
1.0000000000000000
235
15.0000000000000000
236
1.0000000000000000
237
1.0000000000000000
238
1.0000000000000000
239
38.0000000000000000
240
1.0000000000000000
241
1.0000000000000000
242
1.0000000000000000
243
63.0000000000000000
244
1.0000000000000000
245
1.0000000000000000
246
1.0000000000000000
247
100.0000000000000000
248
1.0000000000000000
249
1.0000000000000000
250
1.0000000000000000
251
52.0000000000000000
252
1.0000000000000000
253
1.0000000000000000
254
1.0000000000000000
255
100.0000000000000000
256
1.0000000000000000
257
1.0000000000000000
258
1.0000000000000000
259
23.0000000000000000
260
1.0000000000000000
261
1.0000000000000000
262
1.0000000000000000
263
40.0000000000000000
264
1.0000000000000000
265
1.0000000000000000
266
1.0000000000000000
267
70.0000000000000000
268
1.0000000000000000
269
1.0000000000000000
270
1.0000000000000000
271
7.0000000000000000
272
1.0000000000000000
273
1.0000000000000000
274
1.0000000000000000
275
75.0000000000000000
276
1.0000000000000000
277
1.0000000000000000
278
1.0000000000000000
279
43.0000000000000000
280
1.0000000000000000
281
1.0000000000000000
282
1.0000000000000000
283
82.0000000000000000
284
1.0000000000000000
285
1.0000000000000000
286
1.0000000000000000
287
38.0000000000000000
288
1.0000000000000000
289
1.0000000000000000
290
1.0000000000000000
291
32.0000000000000000
292
1.0000000000000000
293
1.0000000000000000
294
1.0000000000000000
295
99.0000000000000000
296
1.0000000000000000
297
1.0000000000000000
298
1.0000000000000000
299
72.0000000000000000
300
1.0000000000000000
301
1.0000000000000000
302
1.0000000000000000
303
42.0000000000000000
304
1.0000000000000000
305
1.0000000000000000
306
1.0000000000000000
307
10.0000000000000000
308
1.0000000000000000
309
1.0000000000000000
310
1.0000000000000000
311
74.0000000000000000
312
1.0000000000000000
313
1.0000000000000000
314
1.0000000000000000
315
64.0000000000000000
316
1.0000000000000000
317
1.0000000000000000
318
1.0000000000000000
319
8.0000000000000000
320
1.0000000000000000
321
1.0000000000000000
322
1.0000000000000000
323
13.0000000000000000
324
1.0000000000000000
325
1.0000000000000000
326
1.0000000000000000
327
99.0000000000000000
328
1.0000000000000000
329
1.0000000000000000
330
1.0000000000000000
331
50.0000000000000000
332
1.0000000000000000
333
1.0000000000000000
334
1.0000000000000000
335
3.0000000000000000
336
1.0000000000000000
337
1.0000000000000000
338
1.0000000000000000
339
6.0000000000000000
340
1.0000000000000000
341
1.0000000000000000
342
1.0000000000000000
343
15.0000000000000000
344
1.0000000000000000
345
1.0000000000000000
346
1.0000000000000000
347
90.0000000000000000
348
1.0000000000000000
349
1.0000000000000000
350
1.0000000000000000
351
47.0000000000000000
352
1.0000000000000000
353
1.0000000000000000
354
1.0000000000000000
355
57.0000000000000000
356
1.0000000000000000
357
1.0000000000000000
358
1.0000000000000000
359
50.0000000000000000
360
1.0000000000000000
361
1.0000000000000000
362
1.0000000000000000
363
7.0000000000000000
364
1.0000000000000000
365
1.0000000000000000
366
1.0000000000000000
367
90.0000000000000000
368
1.0000000000000000
369
1.0000000000000000
370
1.0000000000000000
371
29.0000000000000000
372
1.0000000000000000
373
1.0000000000000000
374
1.0000000000000000
375
27.0000000000000000
376
1.0000000000000000
377
1.0000000000000000
378
1.0000000000000000
379
60.0000000000000000
380
1.0000000000000000
381
1.0000000000000000
382
1.0000000000000000
383
48.0000000000000000
384
1.0000000000000000
385
1.0000000000000000
386
1.0000000000000000
387
37.0000000000000000
388
1.0000000000000000
389
1.0000000000000000
390
1.0000000000000000
391
66.0000000000000000
392
1.0000000000000000
393
1.0000000000000000
394
1.0000000000000000
395
94.0000000000000000
396
1.0000000000000000
397
1.0000000000000000
398
1.0000000000000000
399
63.0000000000000000
400
1.0000000000000000
401
1.0000000000000000
402
1.0000000000000000
403
29.0000000000000000
404
1.0000000000000000