Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_flattening_2_test / flattening_2_test_flattening_2_test_mpfr100_output_values @ 8451150a

History | View | Annotate | Download (9.95 KB)

1
'Out1_1_1': '0.000000000000000' 
2
'Out2_2_1': '1.000000000000000' 
3
'Out3_3_1': '0.000000000000000' 
4
'Out1_1_1': '1.523257513056858' 
5
'Out2_2_1': '7.093030052227433' 
6
'Out3_3_1': '1.523257513056858' 
7
'Out1_1_1': '29.659802839714576' 
8
'Out2_2_1': '119.639211358858304' 
9
'Out3_3_1': '29.659802839714576' 
10
'Out1_1_1': '42.229187772495514' 
11
'Out2_2_1': '169.916751089982057' 
12
'Out3_3_1': '42.229187772495514' 
13
'Out1_1_1': '29.132467944351813' 
14
'Out2_2_1': '117.529871777407251' 
15
'Out3_3_1': '29.132467944351813' 
16
'Out1_1_1': '6.107371907819569' 
17
'Out2_2_1': '25.429487631278278' 
18
'Out3_3_1': '6.107371907819569' 
19
'Out1_1_1': '32.847907999398970' 
20
'Out2_2_1': '132.391631997595880' 
21
'Out3_3_1': '32.847907999398970' 
22
'Out1_1_1': '31.922953964777147' 
23
'Out2_2_1': '128.691815859108601' 
24
'Out3_3_1': '31.922953964777147' 
25
'Out1_1_1': '17.142729433498172' 
26
'Out2_2_1': '69.570917733992687' 
27
'Out3_3_1': '17.142729433498172' 
28
'Out1_1_1': '3.930961774045794' 
29
'Out2_2_1': '16.723847096183174' 
30
'Out3_3_1': '3.930961774045794' 
31
'Out1_1_1': '8.681295177067728' 
32
'Out2_2_1': '35.725180708270912' 
33
'Out3_3_1': '8.681295177067728' 
34
'Out1_1_1': '30.071469919666232' 
35
'Out2_2_1': '121.285879678664926' 
36
'Out3_3_1': '30.071469919666232' 
37
'Out1_1_1': '24.079575029932769' 
38
'Out2_2_1': '97.318300119731077' 
39
'Out3_3_1': '24.079575029932769' 
40
'Out1_1_1': '38.260008702393641' 
41
'Out2_2_1': '154.040034809574564' 
42
'Out3_3_1': '38.260008702393641' 
43
'Out1_1_1': '0.556898659229893' 
44
'Out2_2_1': '3.227594636919572' 
45
'Out3_3_1': '0.556898659229893' 
46
'Out1_1_1': '16.730449569350149' 
47
'Out2_2_1': '67.921798277400597' 
48
'Out3_3_1': '16.730449569350149' 
49
'Out1_1_1': '18.593142269980078' 
50
'Out2_2_1': '75.372569079920311' 
51
'Out3_3_1': '18.593142269980078' 
52
'Out1_1_1': '28.542714883946456' 
53
'Out2_2_1': '115.170859535785823' 
54
'Out3_3_1': '28.542714883946456' 
55
'Out1_1_1': '41.067605380287844' 
56
'Out2_2_1': '165.270421521151377' 
57
'Out3_3_1': '41.067605380287844' 
58
'Out1_1_1': '4.472211141002679' 
59
'Out2_2_1': '18.888844564010718' 
60
'Out3_3_1': '4.472211141002679' 
61
'Out1_1_1': '31.847829844708947' 
62
'Out2_2_1': '128.391319378835789' 
63
'Out3_3_1': '31.847829844708947' 
64
'Out1_1_1': '49.709885537875934' 
65
'Out2_2_1': '199.839542151503736' 
66
'Out3_3_1': '49.709885537875934' 
67
'Out1_1_1': '46.893274865146161' 
68
'Out2_2_1': '188.573099460584643' 
69
'Out3_3_1': '46.893274865146161' 
70
'Out1_1_1': '7.310869008728183' 
71
'Out2_2_1': '30.243476034912732' 
72
'Out3_3_1': '7.310869008728183' 
73
'Out1_1_1': '2.532540275818407' 
74
'Out2_2_1': '11.130161103273627' 
75
'Out3_3_1': '2.532540275818407' 
76
'Out1_1_1': '18.856415145716966' 
77
'Out2_2_1': '76.425660582867863' 
78
'Out3_3_1': '18.856415145716966' 
79
'Out1_1_1': '34.337699797127314' 
80
'Out2_2_1': '138.350799188509257' 
81
'Out3_3_1': '34.337699797127314' 
82
'Out1_1_1': '31.090204446852994' 
83
'Out2_2_1': '125.360817787411975' 
84
'Out3_3_1': '31.090204446852994' 
85
'Out1_1_1': '19.910224484218865' 
86
'Out2_2_1': '80.640897936875461' 
87
'Out3_3_1': '19.910224484218865' 
88
'Out1_1_1': '6.639391537230216' 
89
'Out2_2_1': '27.557566148920863' 
90
'Out3_3_1': '6.639391537230216' 
91
'Out1_1_1': '4.646353455795210' 
92
'Out2_2_1': '19.585413823180840' 
93
'Out3_3_1': '4.646353455795210' 
94
'Out1_1_1': '29.647265084753283' 
95
'Out2_2_1': '119.589060339013130' 
96
'Out3_3_1': '29.647265084753283' 
97
'Out1_1_1': '9.183136688566984' 
98
'Out2_2_1': '37.732546754267936' 
99
'Out3_3_1': '9.183136688566984' 
100
'Out1_1_1': '20.074026410015161' 
101
'Out2_2_1': '81.296105640060645' 
102
'Out3_3_1': '20.074026410015161' 
103
'Out1_1_1': '4.538565039115583' 
104
'Out2_2_1': '19.154260156462332' 
105
'Out3_3_1': '4.538565039115583' 
106
'Out1_1_1': '7.441691370358261' 
107
'Out2_2_1': '30.766765481433044' 
108
'Out3_3_1': '7.441691370358261' 
109
'Out1_1_1': '48.030330664482953' 
110
'Out2_2_1': '193.121322657931813' 
111
'Out3_3_1': '48.030330664482953' 
112
'Out1_1_1': '9.316833213768156' 
113
'Out2_2_1': '38.267332855072624' 
114
'Out3_3_1': '9.316833213768156' 
115
'Out1_1_1': '12.749115395037192' 
116
'Out2_2_1': '51.996461580148768' 
117
'Out3_3_1': '12.749115395037192' 
118
'Out1_1_1': '37.280236530606814' 
119
'Out2_2_1': '150.120946122427256' 
120
'Out3_3_1': '37.280236530606814' 
121
'Out1_1_1': '11.816455365103378' 
122
'Out2_2_1': '48.265821460413513' 
123
'Out3_3_1': '11.816455365103378' 
124
'Out1_1_1': '33.496164747336628' 
125
'Out2_2_1': '134.984658989346514' 
126
'Out3_3_1': '33.496164747336628' 
127
'Out1_1_1': '37.798062296919959' 
128
'Out2_2_1': '152.192249187679835' 
129
'Out3_3_1': '37.798062296919959' 
130
'Out1_1_1': '1.267873277703052' 
131
'Out2_2_1': '6.071493110812209' 
132
'Out3_3_1': '1.267873277703052' 
133
'Out1_1_1': '17.676032965098106' 
134
'Out2_2_1': '71.704131860392422' 
135
'Out3_3_1': '17.676032965098106' 
136
'Out1_1_1': '29.683449181856510' 
137
'Out2_2_1': '119.733796727426039' 
138
'Out3_3_1': '29.683449181856510' 
139
'Out1_1_1': '35.693923358167297' 
140
'Out2_2_1': '143.775693432669186' 
141
'Out3_3_1': '35.693923358167297' 
142
'Out1_1_1': '4.181361217444252' 
143
'Out2_2_1': '17.725444869777007' 
144
'Out3_3_1': '4.181361217444252' 
145
'Out1_1_1': '24.444950454660553' 
146
'Out2_2_1': '98.779801818642213' 
147
'Out3_3_1': '24.444950454660553' 
148
'Out1_1_1': '14.694131404018746' 
149
'Out2_2_1': '59.776525616074984' 
150
'Out3_3_1': '14.694131404018746' 
151
'Out1_1_1': '18.824202501785997' 
152
'Out2_2_1': '76.296810007143989' 
153
'Out3_3_1': '18.824202501785997' 
154
'Out1_1_1': '1.088088947808602' 
155
'Out2_2_1': '5.352355791234408' 
156
'Out3_3_1': '1.088088947808602' 
157
'Out1_1_1': '46.240989166789888' 
158
'Out2_2_1': '185.963956667159550' 
159
'Out3_3_1': '46.240989166789888' 
160
'Out1_1_1': '11.565559504470645' 
161
'Out2_2_1': '47.262238017882581' 
162
'Out3_3_1': '11.565559504470645' 
163
'Out1_1_1': '28.898543487675077' 
164
'Out2_2_1': '116.594173950700309' 
165
'Out3_3_1': '28.898543487675077' 
166
'Out1_1_1': '25.222448895874876' 
167
'Out2_2_1': '101.889795583499506' 
168
'Out3_3_1': '25.222448895874876' 
169
'Out1_1_1': '2.387778329440432' 
170
'Out2_2_1': '10.551113317761729' 
171
'Out3_3_1': '2.387778329440432' 
172
'Out1_1_1': '31.279746629160087' 
173
'Out2_2_1': '126.118986516640348' 
174
'Out3_3_1': '31.279746629160087' 
175
'Out1_1_1': '37.483632682131976' 
176
'Out2_2_1': '150.934530728527903' 
177
'Out3_3_1': '37.483632682131976' 
178
'Out1_1_1': '47.883976360974593' 
179
'Out2_2_1': '192.535905443898372' 
180
'Out3_3_1': '47.883976360974593' 
181
'Out1_1_1': '5.331659674333967' 
182
'Out2_2_1': '22.326638697335866' 
183
'Out3_3_1': '5.331659674333967' 
184
'Out1_1_1': '5.582142890485847' 
185
'Out2_2_1': '23.328571561943388' 
186
'Out3_3_1': '5.582142890485847' 
187
'Out1_1_1': '17.405312797224891' 
188
'Out2_2_1': '70.621251188899564' 
189
'Out3_3_1': '17.405312797224891' 
190
'Out1_1_1': '49.435931132395403' 
191
'Out2_2_1': '198.743724529581613' 
192
'Out3_3_1': '49.435931132395403' 
193
'Out1_1_1': '31.218515055550171' 
194
'Out2_2_1': '125.874060222200683' 
195
'Out3_3_1': '31.218515055550171' 
196
'Out1_1_1': '8.593257189382269' 
197
'Out2_2_1': '35.373028757529077' 
198
'Out3_3_1': '8.593257189382269' 
199
'Out1_1_1': '47.092173224468588' 
200
'Out2_2_1': '189.368692897874354' 
201
'Out3_3_1': '47.092173224468588' 
202
'Out1_1_1': '29.359925646369049' 
203
'Out2_2_1': '118.439702585476198' 
204
'Out3_3_1': '29.359925646369049' 
205
'Out1_1_1': '24.877681146797194' 
206
'Out2_2_1': '100.510724587188776' 
207
'Out3_3_1': '24.877681146797194' 
208
'Out1_1_1': '23.318164198126855' 
209
'Out2_2_1': '94.272656792507419' 
210
'Out3_3_1': '23.318164198126855' 
211
'Out1_1_1': '17.796238009451333' 
212
'Out2_2_1': '72.184952037805331' 
213
'Out3_3_1': '17.796238009451333' 
214
'Out1_1_1': '33.761712992673829' 
215
'Out2_2_1': '136.046851970695315' 
216
'Out3_3_1': '33.761712992673829' 
217
'Out1_1_1': '12.102661302040312' 
218
'Out2_2_1': '49.410645208161249' 
219
'Out3_3_1': '12.102661302040312' 
220
'Out1_1_1': '4.129654649619114' 
221
'Out2_2_1': '17.518618598476454' 
222
'Out3_3_1': '4.129654649619114' 
223
'Out1_1_1': '10.550185584376665' 
224
'Out2_2_1': '43.200742337506661' 
225
'Out3_3_1': '10.550185584376665' 
226
'Out1_1_1': '30.725141500401236' 
227
'Out2_2_1': '123.900566001604943' 
228
'Out3_3_1': '30.725141500401236' 
229
'Out1_1_1': '27.323436384293508' 
230
'Out2_2_1': '110.293745537174033' 
231
'Out3_3_1': '27.323436384293508' 
232
'Out1_1_1': '7.833959241041305' 
233
'Out2_2_1': '32.335836964165225' 
234
'Out3_3_1': '7.833959241041305' 
235
'Out1_1_1': '45.706851287505444' 
236
'Out2_2_1': '183.827405150021775' 
237
'Out3_3_1': '45.706851287505444' 
238
'Out1_1_1': '17.475773956941175' 
239
'Out2_2_1': '70.903095827764702' 
240
'Out3_3_1': '17.475773956941175' 
241
'Out1_1_1': '14.032715677327518' 
242
'Out2_2_1': '57.130862709310072' 
243
'Out3_3_1': '14.032715677327518' 
244
'Out1_1_1': '14.023711137001998' 
245
'Out2_2_1': '57.094844548007991' 
246
'Out3_3_1': '14.023711137001998' 
247
'Out1_1_1': '32.955623195230011' 
248
'Out2_2_1': '132.822492780920044' 
249
'Out3_3_1': '32.955623195230011' 
250
'Out1_1_1': '48.442617182999832' 
251
'Out2_2_1': '194.770468731999330' 
252
'Out3_3_1': '48.442617182999832' 
253
'Out1_1_1': '18.658598200908607' 
254
'Out2_2_1': '75.634392803634427' 
255
'Out3_3_1': '18.658598200908607' 
256
'Out1_1_1': '30.080994510540037' 
257
'Out2_2_1': '121.323978042160149' 
258
'Out3_3_1': '30.080994510540037' 
259
'Out1_1_1': '13.821637330681025' 
260
'Out2_2_1': '56.286549322724099' 
261
'Out3_3_1': '13.821637330681025' 
262
'Out1_1_1': '29.995845972148576' 
263
'Out2_2_1': '120.983383888594304' 
264
'Out3_3_1': '29.995845972148576' 
265
'Out1_1_1': '25.968647587439182' 
266
'Out2_2_1': '104.874590349756730' 
267
'Out3_3_1': '25.968647587439182' 
268
'Out1_1_1': '27.414038001058678' 
269
'Out2_2_1': '110.656152004234713' 
270
'Out3_3_1': '27.414038001058678' 
271
'Out1_1_1': '41.827532826938146' 
272
'Out2_2_1': '168.310131307752584' 
273
'Out3_3_1': '41.827532826938146' 
274
'Out1_1_1': '35.890356657753586' 
275
'Out2_2_1': '144.561426631014342' 
276
'Out3_3_1': '35.890356657753586' 
277
'Out1_1_1': '25.545484804356143' 
278
'Out2_2_1': '103.181939217424571' 
279
'Out3_3_1': '25.545484804356143' 
280
'Out1_1_1': '33.294309928057082' 
281
'Out2_2_1': '134.177239712228328' 
282
'Out3_3_1': '33.294309928057082' 
283
'Out1_1_1': '37.733833079669765' 
284
'Out2_2_1': '151.935332318679059' 
285
'Out3_3_1': '37.733833079669765' 
286
'Out1_1_1': '7.259488536173103' 
287
'Out2_2_1': '30.037954144692414' 
288
'Out3_3_1': '7.259488536173103' 
289
'Out1_1_1': '4.391584505504492' 
290
'Out2_2_1': '18.566338022017970' 
291
'Out3_3_1': '4.391584505504492' 
292
'Out1_1_1': '7.006487870868572' 
293
'Out2_2_1': '29.025951483474287' 
294
'Out3_3_1': '7.006487870868572' 
295
'Out1_1_1': '38.572862495157452' 
296
'Out2_2_1': '155.291449980629807' 
297
'Out3_3_1': '38.572862495157452' 
298
'Out1_1_1': '12.380116063027369' 
299
'Out2_2_1': '50.520464252109477' 
300
'Out3_3_1': '12.380116063027369'