Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_flattening_3_test / outputs_values @ 6c3ea955

History | View | Annotate | Download (11.5 KB)

1
'Out1_1_1': '1514332868905787735886790656.000000' 
2
'Out2_2_1': '0.000000' 
3
'Out3_3_1': '1514332868905787735886790656.000000' 
4
'Out1_1_1': '104235103470051477422080.000000' 
5
'Out2_2_1': '9.525759' 
6
'Out3_3_1': '104235103470051477422080.000000' 
7
'Out1_1_1': '4377328776849244291072.000000' 
8
'Out2_2_1': '55.599213' 
9
'Out3_3_1': '4377328776849244291072.000000' 
10
'Out1_1_1': '1933885975417.719727' 
11
'Out2_2_1': '52.568360' 
12
'Out3_3_1': '1933885975417.719727' 
13
'Out1_1_1': '38117124236343357997056.000000' 
14
'Out2_2_1': '85.158245' 
15
'Out3_3_1': '38117124236343357997056.000000' 
16
'Out1_1_1': '13677047988147899017986048.000000' 
17
'Out2_2_1': '19.297092' 
18
'Out3_3_1': '13677047988147899017986048.000000' 
19
'Out1_1_1': '1241133280617824507658240.000000' 
20
'Out2_2_1': '13.463434' 
21
'Out3_3_1': '1241133280617824507658240.000000' 
22
'Out1_1_1': '25663851518261263859712.000000' 
23
'Out2_2_1': '28.200725' 
24
'Out3_3_1': '25663851518261263859712.000000' 
25
'Out1_1_1': '792502805331921145664897024.000000' 
26
'Out2_2_1': '30.315929' 
27
'Out3_3_1': '792502805331921145664897024.000000' 
28
'Out1_1_1': '358567982259268122312704.000000' 
29
'Out2_2_1': '54.572985' 
30
'Out3_3_1': '358567982259268122312704.000000' 
31
'Out1_1_1': '250161649363211386880.000000' 
32
'Out2_2_1': '33.700789' 
33
'Out3_3_1': '250161649363211386880.000000' 
34
'Out1_1_1': '466123561.310412' 
35
'Out2_2_1': '95.610481' 
36
'Out3_3_1': '466123561.310412' 
37
'Out1_1_1': '62854175529339922715508736.000000' 
38
'Out2_2_1': '74.169774' 
39
'Out3_3_1': '62854175529339922715508736.000000' 
40
'Out1_1_1': '17475796091900511542837248.000000' 
41
'Out2_2_1': '45.553953' 
42
'Out3_3_1': '17475796091900511542837248.000000' 
43
'Out1_1_1': '76281331762195.000000' 
44
'Out2_2_1': '47.505693' 
45
'Out3_3_1': '76281331762195.000000' 
46
'Out1_1_1': '433656379561576179743850496.000000' 
47
'Out2_2_1': '40.552733' 
48
'Out3_3_1': '433656379561576179743850496.000000' 
49
'Out1_1_1': '4855411690331946598006784.000000' 
50
'Out2_2_1': '76.328147' 
51
'Out3_3_1': '4855411690331946598006784.000000' 
52
'Out1_1_1': '230748039783791624265400320.000000' 
53
'Out2_2_1': '72.716139' 
54
'Out3_3_1': '230748039783791624265400320.000000' 
55
'Out1_1_1': '1661079793688969216000.000000' 
56
'Out2_2_1': '78.609221' 
57
'Out3_3_1': '1661079793688969216000.000000' 
58
'Out1_1_1': '1055011371232495965749379072.000000' 
59
'Out2_2_1': '66.941130' 
60
'Out3_3_1': '1055011371232495965749379072.000000' 
61
'Out1_1_1': '4074430444961691047464796160.000000' 
62
'Out2_2_1': '35.632652' 
63
'Out3_3_1': '4074430444961691047464796160.000000' 
64
'Out1_1_1': '310513599661055148032.000000' 
65
'Out2_2_1': '29.745779' 
66
'Out3_3_1': '310513599661055148032.000000' 
67
'Out1_1_1': '21474146275422848631701504.000000' 
68
'Out2_2_1': '68.448532' 
69
'Out3_3_1': '21474146275422848631701504.000000' 
70
'Out1_1_1': '21223394048170692608.000000' 
71
'Out2_2_1': '91.973398' 
72
'Out3_3_1': '21223394048170692608.000000' 
73
'Out1_1_1': '9822241872885025926545408.000000' 
74
'Out2_2_1': '80.935630' 
75
'Out3_3_1': '9822241872885025926545408.000000' 
76
'Out1_1_1': '1483689835621131485184.000000' 
77
'Out2_2_1': '96.072191' 
78
'Out3_3_1': '1483689835621131485184.000000' 
79
'Out1_1_1': '849337911659072568413913088.000000' 
80
'Out2_2_1': '1.508846' 
81
'Out3_3_1': '849337911659072568413913088.000000' 
82
'Out1_1_1': '2055460645215698688.000000' 
83
'Out2_2_1': '54.781833' 
84
'Out3_3_1': '2055460645215698688.000000' 
85
'Out1_1_1': '110200346126045705131786240.000000' 
86
'Out2_2_1': '90.406885' 
87
'Out3_3_1': '110200346126045705131786240.000000' 
88
'Out1_1_1': '4763617315186016188891136.000000' 
89
'Out2_2_1': '64.417147' 
90
'Out3_3_1': '4763617315186016188891136.000000' 
91
'Out1_1_1': '30151528432430237685383168.000000' 
92
'Out2_2_1': '88.428163' 
93
'Out3_3_1': '30151528432430237685383168.000000' 
94
'Out1_1_1': '23952235818900.445312' 
95
'Out2_2_1': '10.210136' 
96
'Out3_3_1': '23952235818900.445312' 
97
'Out1_1_1': '233386947491449876250624.000000' 
98
'Out2_2_1': '31.335081' 
99
'Out3_3_1': '233386947491449876250624.000000' 
100
'Out1_1_1': '2335879247062172789488222208.000000' 
101
'Out2_2_1': '45.264206' 
102
'Out3_3_1': '2335879247062172789488222208.000000' 
103
'Out1_1_1': '982365205763436838912.000000' 
104
'Out2_2_1': '11.596656' 
105
'Out3_3_1': '982365205763436838912.000000' 
106
'Out1_1_1': '50633839270790496016924672.000000' 
107
'Out2_2_1': '67.497319' 
108
'Out3_3_1': '50633839270790496016924672.000000' 
109
'Out1_1_1': '6245142161261213696.000000' 
110
'Out2_2_1': '44.216465' 
111
'Out3_3_1': '6245142161261213696.000000' 
112
'Out1_1_1': '3314660828369824818135040.000000' 
113
'Out2_2_1': '41.828254' 
114
'Out3_3_1': '3314660828369824818135040.000000' 
115
'Out1_1_1': '618.590959' 
116
'Out2_2_1': '60.074419' 
117
'Out3_3_1': '618.590959' 
118
'Out1_1_1': '2037679211973010784256.000000' 
119
'Out2_2_1': '26.619455' 
120
'Out3_3_1': '2037679211973010784256.000000' 
121
'Out1_1_1': '2085543646282232320.000000' 
122
'Out2_2_1': '45.743513' 
123
'Out3_3_1': '2085543646282232320.000000' 
124
'Out1_1_1': '537201880104027584.000000' 
125
'Out2_2_1': '41.805213' 
126
'Out3_3_1': '537201880104027584.000000' 
127
'Out1_1_1': '19460863335021106167808.000000' 
128
'Out2_2_1': '37.610594' 
129
'Out3_3_1': '19460863335021106167808.000000' 
130
'Out1_1_1': '136325838410536550662144.000000' 
131
'Out2_2_1': '82.945811' 
132
'Out3_3_1': '136325838410536550662144.000000' 
133
'Out1_1_1': '612391515861086927585280.000000' 
134
'Out2_2_1': '54.802874' 
135
'Out3_3_1': '612391515861086927585280.000000' 
136
'Out1_1_1': '105826156296050784235159552.000000' 
137
'Out2_2_1': '13.984664' 
138
'Out3_3_1': '105826156296050784235159552.000000' 
139
'Out1_1_1': '24068345410786512829677568.000000' 
140
'Out2_2_1': '51.381200' 
141
'Out3_3_1': '24068345410786512829677568.000000' 
142
'Out1_1_1': '1654268268436409600.000000' 
143
'Out2_2_1': '3.889711' 
144
'Out3_3_1': '1654268268436409600.000000' 
145
'Out1_1_1': '49703670442414997241856.000000' 
146
'Out2_2_1': '47.566850' 
147
'Out3_3_1': '49703670442414997241856.000000' 
148
'Out1_1_1': '305119289564176777216.000000' 
149
'Out2_2_1': '72.812527' 
150
'Out3_3_1': '305119289564176777216.000000' 
151
'Out1_1_1': '2207068012354573421810548736.000000' 
152
'Out2_2_1': '9.027023' 
153
'Out3_3_1': '2207068012354573421810548736.000000' 
154
'Out1_1_1': '454325761441970707280953344.000000' 
155
'Out2_2_1': '75.322390' 
156
'Out3_3_1': '454325761441970707280953344.000000' 
157
'Out1_1_1': '15707893718963143573504.000000' 
158
'Out2_2_1': '54.649895' 
159
'Out3_3_1': '15707893718963143573504.000000' 
160
'Out1_1_1': '1965834059555356540928.000000' 
161
'Out2_2_1': '29.025487' 
162
'Out3_3_1': '1965834059555356540928.000000' 
163
'Out1_1_1': '115354986681207600608968704.000000' 
164
'Out2_2_1': '63.674576' 
165
'Out3_3_1': '115354986681207600608968704.000000' 
166
'Out1_1_1': '196391427437277376.000000' 
167
'Out2_2_1': '60.014049' 
168
'Out3_3_1': '196391427437277376.000000' 
169
'Out1_1_1': '2644843646889253928960.000000' 
170
'Out2_2_1': '14.417279' 
171
'Out3_3_1': '2644843646889253928960.000000' 
172
'Out1_1_1': '864384363059833311089131520.000000' 
173
'Out2_2_1': '55.395435' 
174
'Out3_3_1': '864384363059833311089131520.000000' 
175
'Out1_1_1': '668749053592294391808.000000' 
176
'Out2_2_1': '76.123316' 
177
'Out3_3_1': '668749053592294391808.000000' 
178
'Out1_1_1': '8124333595964458194173952.000000' 
179
'Out2_2_1': '53.930790' 
180
'Out3_3_1': '8124333595964458194173952.000000' 
181
'Out1_1_1': '27510238951927758848.000000' 
182
'Out2_2_1': '92.706866' 
183
'Out3_3_1': '27510238951927758848.000000' 
184
'Out1_1_1': '248544302535799109287149568.000000' 
185
'Out2_2_1': '63.236504' 
186
'Out3_3_1': '248544302535799109287149568.000000' 
187
'Out1_1_1': '5311509216865155.000000' 
188
'Out2_2_1': '15.100832' 
189
'Out3_3_1': '5311509216865155.000000' 
190
'Out1_1_1': '390470529960504809823928320.000000' 
191
'Out2_2_1': '29.080540' 
192
'Out3_3_1': '390470529960504809823928320.000000' 
193
'Out1_1_1': '2743447181001345608252915712.000000' 
194
'Out2_2_1': '17.692495' 
195
'Out3_3_1': '2743447181001345608252915712.000000' 
196
'Out1_1_1': '3196944004587637178351222784.000000' 
197
'Out2_2_1': '24.180422' 
198
'Out3_3_1': '3196944004587637178351222784.000000' 
199
'Out1_1_1': '26290825126081441792.000000' 
200
'Out2_2_1': '60.758243' 
201
'Out3_3_1': '26290825126081441792.000000' 
202
'Out1_1_1': '33474325803675575507746816.000000' 
203
'Out2_2_1': '88.515100' 
204
'Out3_3_1': '33474325803675575507746816.000000' 
205
'Out1_1_1': '15861240930.908737' 
206
'Out2_2_1': '25.957217' 
207
'Out3_3_1': '15861240930.908737' 
208
'Out1_1_1': '61259241066288971151048704.000000' 
209
'Out2_2_1': '47.894067' 
210
'Out3_3_1': '61259241066288971151048704.000000' 
211
'Out1_1_1': '36051786399735603200.000000' 
212
'Out2_2_1': '52.339684' 
213
'Out3_3_1': '36051786399735603200.000000' 
214
'Out1_1_1': '126717592578228333823655936.000000' 
215
'Out2_2_1': '27.608374' 
216
'Out3_3_1': '126717592578228333823655936.000000' 
217
'Out1_1_1': '15640472989325774574059520.000000' 
218
'Out2_2_1': '59.413271' 
219
'Out3_3_1': '15640472989325774574059520.000000' 
220
'Out1_1_1': '115615954321988919492608.000000' 
221
'Out2_2_1': '94.990300' 
222
'Out3_3_1': '115615954321988919492608.000000' 
223
'Out1_1_1': '4997125976301715115212800.000000' 
224
'Out2_2_1': '6.545377' 
225
'Out3_3_1': '4997125976301715115212800.000000' 
226
'Out1_1_1': '14618572910119760980606976.000000' 
227
'Out2_2_1': '30.985366' 
228
'Out3_3_1': '14618572910119760980606976.000000' 
229
'Out1_1_1': '82732044725215368738504704.000000' 
230
'Out2_2_1': '62.277721' 
231
'Out3_3_1': '82732044725215368738504704.000000' 
232
'Out1_1_1': '1147888437892814077952.000000' 
233
'Out2_2_1': '96.791076' 
234
'Out3_3_1': '1147888437892814077952.000000' 
235
'Out1_1_1': '13815893897986845244915712.000000' 
236
'Out2_2_1': '20.881119' 
237
'Out3_3_1': '13815893897986845244915712.000000' 
238
'Out1_1_1': '1048195207118291642351616.000000' 
239
'Out2_2_1': '44.480517' 
240
'Out3_3_1': '1048195207118291642351616.000000' 
241
'Out1_1_1': '84881901161098461184.000000' 
242
'Out2_2_1': '14.510259' 
243
'Out3_3_1': '84881901161098461184.000000' 
244
'Out1_1_1': '9133422365732065633107968.000000' 
245
'Out2_2_1': '37.436288' 
246
'Out3_3_1': '9133422365732065633107968.000000' 
247
'Out1_1_1': '114683.405247' 
248
'Out2_2_1': '16.071832' 
249
'Out3_3_1': '114683.405247' 
250
'Out1_1_1': '386816242795155304659025920.000000' 
251
'Out2_2_1': '38.904392' 
252
'Out3_3_1': '386816242795155304659025920.000000' 
253
'Out1_1_1': '4636418947664141312.000000' 
254
'Out2_2_1': '78.991896' 
255
'Out3_3_1': '4636418947664141312.000000' 
256
'Out1_1_1': '3845986620582481836900352.000000' 
257
'Out2_2_1': '37.931855' 
258
'Out3_3_1': '3845986620582481836900352.000000' 
259
'Out1_1_1': '73222628072307162087424.000000' 
260
'Out2_2_1': '84.728985' 
261
'Out3_3_1': '73222628072307162087424.000000' 
262
'Out1_1_1': '1536216243923211192893440.000000' 
263
'Out2_2_1': '2.302582' 
264
'Out3_3_1': '1536216243923211192893440.000000' 
265
'Out1_1_1': '2425247542768776604735766528.000000' 
266
'Out2_2_1': '22.479444' 
267
'Out3_3_1': '2425247542768776604735766528.000000' 
268
'Out1_1_1': '8159180299474507776.000000' 
269
'Out2_2_1': '82.345036' 
270
'Out3_3_1': '8159180299474507776.000000' 
271
'Out1_1_1': '211365289141469960315338752.000000' 
272
'Out2_2_1': '61.307754' 
273
'Out3_3_1': '211365289141469960315338752.000000' 
274
'Out1_1_1': '1732183270626237565894656.000000' 
275
'Out2_2_1': '98.945517' 
276
'Out3_3_1': '1732183270626237565894656.000000' 
277
'Out1_1_1': '23832594.137133' 
278
'Out2_2_1': '19.913044' 
279
'Out3_3_1': '23832594.137133' 
280
'Out1_1_1': '375522906620950655008768.000000' 
281
'Out2_2_1': '48.654834' 
282
'Out3_3_1': '375522906620950655008768.000000' 
283
'Out1_1_1': '9810470797362.154297' 
284
'Out2_2_1': '35.225885' 
285
'Out3_3_1': '9810470797362.154297' 
286
'Out1_1_1': '5080135531053929681911808.000000' 
287
'Out2_2_1': '67.217034' 
288
'Out3_3_1': '5080135531053929681911808.000000' 
289
'Out1_1_1': '632914394426602868965376.000000' 
290
'Out2_2_1': '57.340699' 
291
'Out3_3_1': '632914394426602868965376.000000' 
292
'Out1_1_1': '731773070759726647229808640.000000' 
293
'Out2_2_1': '55.766918' 
294
'Out3_3_1': '731773070759726647229808640.000000' 
295
'Out1_1_1': '488730460452066780526936064.000000' 
296
'Out2_2_1': '23.025382' 
297
'Out3_3_1': '488730460452066780526936064.000000' 
298
'Out1_1_1': '8591452561648668391768064.000000' 
299
'Out2_2_1': '47.469852' 
300
'Out3_3_1': '8591452561648668391768064.000000' 
301
'Out1_1_1': '7780604890617637888.000000' 
302
'Out2_2_1': '13.778429' 
303
'Out3_3_1': '7780604890617637888.000000'