Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / DiscreteTransferFcn_1_orig_vs_preprocessed_PP.LUSTREC_DiscreteTransferFcn_1_orig_vs_preprocessed_PP_mpfr100_output_values @ cd1faebc

History | View | Annotate | Download (12.3 KB)

1
'Out1_1': '3.500000000000000' 
2
'Out1_2': '1.200000047683716' 
3
'Out2_1': '3.500000000000000' 
4
'Out2_2': '1.200000047683716' 
5
'Out1_1': '8.750000000000000' 
6
'Out1_2': '3.000000119209290' 
7
'Out2_1': '8.750000000000000' 
8
'Out2_2': '3.000000119209290' 
9
'Out1_1': '15.924999833106995' 
10
'Out1_2': '5.460000159740446' 
11
'Out2_1': '15.924999833106995' 
12
'Out2_2': '5.460000159740446' 
13
'Out1_1': '11.287499900907278' 
14
'Out1_2': '3.870000119805335' 
15
'Out2_1': '11.287499900907278' 
16
'Out2_2': '3.870000119805335' 
17
'Out1_1': '12.171249879002572' 
18
'Out1_2': '4.173000124335288' 
19
'Out2_1': '12.171249879002572' 
20
'Out2_2': '4.173000124335288' 
21
'Out1_1': '12.656874890215695' 
22
'Out1_2': '4.339500134795903' 
23
'Out2_1': '12.656874890215695' 
24
'Out2_2': '4.339500134795903' 
25
'Out1_1': '12.237312386356294' 
26
'Out1_2': '4.195650127756594' 
27
'Out2_1': '12.237312386356294' 
28
'Out2_2': '4.195650127756594' 
29
'Out1_1': '12.349968634596095' 
30
'Out1_2': '4.234275128687917' 
31
'Out2_1': '12.349968634596095' 
32
'Out2_2': '4.234275128687917' 
33
'Out1_1': '12.377553012498469' 
34
'Out1_2': '4.243732630058823' 
35
'Out2_1': '12.377553012498469' 
36
'Out2_2': '4.243732630058823' 
37
'Out1_1': '12.341229573563579' 
38
'Out1_2': '4.231278879071994' 
39
'Out2_1': '12.341229573563579' 
40
'Out2_2': '4.231278879071994' 
41
'Out1_1': '12.353874417368342' 
42
'Out1_2': '4.235614254263042' 
43
'Out2_1': '12.353874417368342' 
44
'Out2_2': '4.235614254263042' 
45
'Out1_1': '12.354816683361191' 
46
'Out1_2': '4.235937316901999' 
47
'Out2_1': '12.354816683361191' 
48
'Out2_2': '4.235937316901999' 
49
'Out1_1': '12.351816581566130' 
50
'Out1_2': '4.234908710531390' 
51
'Out2_1': '12.351816581566130' 
52
'Out2_2': '4.234908710531390' 
53
'Out1_1': '12.353128179262281' 
54
'Out1_2': '4.235358401187940' 
55
'Out2_1': '12.353128179262281' 
56
'Out2_2': '4.235358401187940' 
57
'Out1_1': '12.353072400782159' 
58
'Out1_2': '4.235339277136853' 
59
'Out2_1': '12.353072400782159' 
60
'Out2_2': '4.235339277136853' 
61
'Out1_1': '12.352837970479081' 
62
'Out1_2': '4.235258901029747' 
63
'Out2_1': '12.352837970479081' 
64
'Out2_2': '4.235258901029747' 
65
'Out1_1': '12.352966341326811' 
66
'Out1_2': '4.235302913893574' 
67
'Out2_1': '12.352966341326811' 
68
'Out2_2': '4.235302913893574' 
69
'Out1_1': '12.352949041964260' 
70
'Out1_2': '4.235296982683321' 
71
'Out2_1': '12.352949041964260' 
72
'Out2_2': '4.235296982683321' 
73
'Out1_1': '12.352932017475608' 
74
'Out1_2': '4.235291145715551' 
75
'Out2_1': '12.352932017475608' 
76
'Out2_2': '4.235291145715551' 
77
'Out1_1': '12.352943989592495' 
78
'Out1_2': '4.235295250441505' 
79
'Out2_1': '12.352943989592495' 
80
'Out2_2': '4.235295250441505' 
81
'Out1_1': '12.352941408431832' 
82
'Out1_2': '4.235294365472099' 
83
'Out2_1': '12.352941408431832' 
84
'Out2_2': '4.235294365472099' 
85
'Out1_1': '12.352940304588751' 
86
'Out1_2': '4.235293987011599' 
87
'Out2_1': '12.352940304588751' 
88
'Out2_2': '4.235293987011599' 
89
'Out1_1': '12.352941372742432' 
90
'Out1_2': '4.235294353235733' 
91
'Out2_1': '12.352941372742432' 
92
'Out2_2': '4.235294353235733' 
93
'Out1_1': '12.352941059434210' 
94
'Out1_2': '4.235294245815767' 
95
'Out2_1': '12.352941059434210' 
96
'Out2_2': '4.235294245815767' 
97
'Out1_1': '12.352941002457582' 
98
'Out1_2': '4.235294226280922' 
99
'Out2_1': '12.352941002457582' 
100
'Out2_2': '4.235294226280922' 
101
'Out1_1': '12.352941093607541' 
102
'Out1_2': '4.235294257532337' 
103
'Out2_1': '12.352941093607541' 
104
'Out2_2': '4.235294257532337' 
105
'Out1_1': '12.352941059427888' 
106
'Out1_2': '4.235294245813598' 
107
'Out2_1': '12.352941059427888' 
108
'Out2_2': '4.235294245813598' 
109
'Out1_1': '12.352941058287723' 
110
'Out1_2': '4.235294245422685' 
111
'Out2_1': '12.352941058287723' 
112
'Out2_2': '4.235294245422685' 
113
'Out1_1': '12.352941065693736' 
114
'Out1_2': '4.235294247961890' 
115
'Out2_1': '12.352941065693736' 
116
'Out2_2': '4.235294247961890' 
117
'Out1_1': '12.352941062218761' 
118
'Out1_2': '4.235294246770470' 
119
'Out2_1': '12.352941062218761' 
120
'Out2_2': '4.235294246770470' 
121
'Out1_1': '12.352941062475047' 
122
'Out1_2': '4.235294246858339' 
123
'Out2_1': '12.352941062475047' 
124
'Out2_2': '4.235294246858339' 
125
'Out1_1': '12.352941063041898' 
126
'Out1_2': '4.235294247052688' 
127
'Out2_1': '12.352941063041898' 
128
'Out2_2': '4.235294247052688' 
129
'Out1_1': '12.352941062707215' 
130
'Out1_2': '4.235294246937940' 
131
'Out2_1': '12.352941062707215' 
132
'Out2_2': '4.235294246937940' 
133
'Out1_1': '12.352941062761186' 
134
'Out1_2': '4.235294246956444' 
135
'Out2_1': '12.352941062761186' 
136
'Out2_2': '4.235294246956444' 
137
'Out1_1': '12.352941062801138' 
138
'Out1_2': '4.235294246970142' 
139
'Out2_1': '12.352941062801138' 
140
'Out2_2': '4.235294246970142' 
141
'Out1_1': '12.352941062770368' 
142
'Out1_2': '4.235294246959592' 
143
'Out2_1': '12.352941062770368' 
144
'Out2_2': '4.235294246959592' 
145
'Out1_1': '12.352941062777763' 
146
'Out1_2': '4.235294246962128' 
147
'Out2_1': '12.352941062777763' 
148
'Out2_2': '4.235294246962128' 
149
'Out1_1': '12.352941062780220' 
150
'Out1_2': '4.235294246962970' 
151
'Out2_1': '12.352941062780220' 
152
'Out2_2': '4.235294246962970' 
153
'Out1_1': '12.352941062777512' 
154
'Out1_2': '4.235294246962042' 
155
'Out2_1': '12.352941062777512' 
156
'Out2_2': '4.235294246962042' 
157
'Out1_1': '12.352941062778374' 
158
'Out1_2': '4.235294246962337' 
159
'Out2_1': '12.352941062778374' 
160
'Out2_2': '4.235294246962337' 
161
'Out1_1': '12.352941062778484' 
162
'Out1_2': '4.235294246962375' 
163
'Out2_1': '12.352941062778484' 
164
'Out2_2': '4.235294246962375' 
165
'Out1_1': '12.352941062778257' 
166
'Out1_2': '4.235294246962297' 
167
'Out2_1': '12.352941062778257' 
168
'Out2_2': '4.235294246962297' 
169
'Out1_1': '12.352941062778349' 
170
'Out1_2': '4.235294246962328' 
171
'Out2_1': '12.352941062778349' 
172
'Out2_2': '4.235294246962328' 
173
'Out1_1': '12.352941062778349' 
174
'Out1_2': '4.235294246962328' 
175
'Out2_1': '12.352941062778349' 
176
'Out2_2': '4.235294246962328' 
177
'Out1_1': '12.352941062778330' 
178
'Out1_2': '4.235294246962322' 
179
'Out2_1': '12.352941062778330' 
180
'Out2_2': '4.235294246962322' 
181
'Out1_1': '12.352941062778340' 
182
'Out1_2': '4.235294246962325' 
183
'Out2_1': '12.352941062778340' 
184
'Out2_2': '4.235294246962325' 
185
'Out1_1': '12.352941062778338' 
186
'Out1_2': '4.235294246962325' 
187
'Out2_1': '12.352941062778338' 
188
'Out2_2': '4.235294246962325' 
189
'Out1_1': '12.352941062778337' 
190
'Out1_2': '4.235294246962325' 
191
'Out2_1': '12.352941062778337' 
192
'Out2_2': '4.235294246962325' 
193
'Out1_1': '12.352941062778338' 
194
'Out1_2': '4.235294246962325' 
195
'Out2_1': '12.352941062778338' 
196
'Out2_2': '4.235294246962325' 
197
'Out1_1': '12.352941062778338' 
198
'Out1_2': '4.235294246962325' 
199
'Out2_1': '12.352941062778338' 
200
'Out2_2': '4.235294246962325' 
201
'Out1_1': '12.352941062778338' 
202
'Out1_2': '4.235294246962325' 
203
'Out2_1': '12.352941062778338' 
204
'Out2_2': '4.235294246962325' 
205
'Out1_1': '12.352941062778338' 
206
'Out1_2': '4.235294246962325' 
207
'Out2_1': '12.352941062778338' 
208
'Out2_2': '4.235294246962325' 
209
'Out1_1': '12.352941062778338' 
210
'Out1_2': '4.235294246962325' 
211
'Out2_1': '12.352941062778338' 
212
'Out2_2': '4.235294246962325' 
213
'Out1_1': '12.352941062778338' 
214
'Out1_2': '4.235294246962325' 
215
'Out2_1': '12.352941062778338' 
216
'Out2_2': '4.235294246962325' 
217
'Out1_1': '12.352941062778338' 
218
'Out1_2': '4.235294246962325' 
219
'Out2_1': '12.352941062778338' 
220
'Out2_2': '4.235294246962325' 
221
'Out1_1': '12.352941062778338' 
222
'Out1_2': '4.235294246962325' 
223
'Out2_1': '12.352941062778338' 
224
'Out2_2': '4.235294246962325' 
225
'Out1_1': '12.352941062778338' 
226
'Out1_2': '4.235294246962325' 
227
'Out2_1': '12.352941062778338' 
228
'Out2_2': '4.235294246962325' 
229
'Out1_1': '12.352941062778338' 
230
'Out1_2': '4.235294246962325' 
231
'Out2_1': '12.352941062778338' 
232
'Out2_2': '4.235294246962325' 
233
'Out1_1': '12.352941062778338' 
234
'Out1_2': '4.235294246962325' 
235
'Out2_1': '12.352941062778338' 
236
'Out2_2': '4.235294246962325' 
237
'Out1_1': '12.352941062778338' 
238
'Out1_2': '4.235294246962325' 
239
'Out2_1': '12.352941062778338' 
240
'Out2_2': '4.235294246962325' 
241
'Out1_1': '12.352941062778338' 
242
'Out1_2': '4.235294246962325' 
243
'Out2_1': '12.352941062778338' 
244
'Out2_2': '4.235294246962325' 
245
'Out1_1': '12.352941062778338' 
246
'Out1_2': '4.235294246962325' 
247
'Out2_1': '12.352941062778338' 
248
'Out2_2': '4.235294246962325' 
249
'Out1_1': '12.352941062778338' 
250
'Out1_2': '4.235294246962325' 
251
'Out2_1': '12.352941062778338' 
252
'Out2_2': '4.235294246962325' 
253
'Out1_1': '12.352941062778338' 
254
'Out1_2': '4.235294246962325' 
255
'Out2_1': '12.352941062778338' 
256
'Out2_2': '4.235294246962325' 
257
'Out1_1': '12.352941062778338' 
258
'Out1_2': '4.235294246962325' 
259
'Out2_1': '12.352941062778338' 
260
'Out2_2': '4.235294246962325' 
261
'Out1_1': '12.352941062778338' 
262
'Out1_2': '4.235294246962325' 
263
'Out2_1': '12.352941062778338' 
264
'Out2_2': '4.235294246962325' 
265
'Out1_1': '12.352941062778338' 
266
'Out1_2': '4.235294246962325' 
267
'Out2_1': '12.352941062778338' 
268
'Out2_2': '4.235294246962325' 
269
'Out1_1': '12.352941062778338' 
270
'Out1_2': '4.235294246962325' 
271
'Out2_1': '12.352941062778338' 
272
'Out2_2': '4.235294246962325' 
273
'Out1_1': '12.352941062778338' 
274
'Out1_2': '4.235294246962325' 
275
'Out2_1': '12.352941062778338' 
276
'Out2_2': '4.235294246962325' 
277
'Out1_1': '12.352941062778338' 
278
'Out1_2': '4.235294246962325' 
279
'Out2_1': '12.352941062778338' 
280
'Out2_2': '4.235294246962325' 
281
'Out1_1': '12.352941062778338' 
282
'Out1_2': '4.235294246962325' 
283
'Out2_1': '12.352941062778338' 
284
'Out2_2': '4.235294246962325' 
285
'Out1_1': '12.352941062778338' 
286
'Out1_2': '4.235294246962325' 
287
'Out2_1': '12.352941062778338' 
288
'Out2_2': '4.235294246962325' 
289
'Out1_1': '12.352941062778338' 
290
'Out1_2': '4.235294246962325' 
291
'Out2_1': '12.352941062778338' 
292
'Out2_2': '4.235294246962325' 
293
'Out1_1': '12.352941062778338' 
294
'Out1_2': '4.235294246962325' 
295
'Out2_1': '12.352941062778338' 
296
'Out2_2': '4.235294246962325' 
297
'Out1_1': '12.352941062778338' 
298
'Out1_2': '4.235294246962325' 
299
'Out2_1': '12.352941062778338' 
300
'Out2_2': '4.235294246962325' 
301
'Out1_1': '12.352941062778338' 
302
'Out1_2': '4.235294246962325' 
303
'Out2_1': '12.352941062778338' 
304
'Out2_2': '4.235294246962325' 
305
'Out1_1': '12.352941062778338' 
306
'Out1_2': '4.235294246962325' 
307
'Out2_1': '12.352941062778338' 
308
'Out2_2': '4.235294246962325' 
309
'Out1_1': '12.352941062778338' 
310
'Out1_2': '4.235294246962325' 
311
'Out2_1': '12.352941062778338' 
312
'Out2_2': '4.235294246962325' 
313
'Out1_1': '12.352941062778338' 
314
'Out1_2': '4.235294246962325' 
315
'Out2_1': '12.352941062778338' 
316
'Out2_2': '4.235294246962325' 
317
'Out1_1': '12.352941062778338' 
318
'Out1_2': '4.235294246962325' 
319
'Out2_1': '12.352941062778338' 
320
'Out2_2': '4.235294246962325' 
321
'Out1_1': '12.352941062778338' 
322
'Out1_2': '4.235294246962325' 
323
'Out2_1': '12.352941062778338' 
324
'Out2_2': '4.235294246962325' 
325
'Out1_1': '12.352941062778338' 
326
'Out1_2': '4.235294246962325' 
327
'Out2_1': '12.352941062778338' 
328
'Out2_2': '4.235294246962325' 
329
'Out1_1': '12.352941062778338' 
330
'Out1_2': '4.235294246962325' 
331
'Out2_1': '12.352941062778338' 
332
'Out2_2': '4.235294246962325' 
333
'Out1_1': '12.352941062778338' 
334
'Out1_2': '4.235294246962325' 
335
'Out2_1': '12.352941062778338' 
336
'Out2_2': '4.235294246962325' 
337
'Out1_1': '12.352941062778338' 
338
'Out1_2': '4.235294246962325' 
339
'Out2_1': '12.352941062778338' 
340
'Out2_2': '4.235294246962325' 
341
'Out1_1': '12.352941062778338' 
342
'Out1_2': '4.235294246962325' 
343
'Out2_1': '12.352941062778338' 
344
'Out2_2': '4.235294246962325' 
345
'Out1_1': '12.352941062778338' 
346
'Out1_2': '4.235294246962325' 
347
'Out2_1': '12.352941062778338' 
348
'Out2_2': '4.235294246962325' 
349
'Out1_1': '12.352941062778338' 
350
'Out1_2': '4.235294246962325' 
351
'Out2_1': '12.352941062778338' 
352
'Out2_2': '4.235294246962325' 
353
'Out1_1': '12.352941062778338' 
354
'Out1_2': '4.235294246962325' 
355
'Out2_1': '12.352941062778338' 
356
'Out2_2': '4.235294246962325' 
357
'Out1_1': '12.352941062778338' 
358
'Out1_2': '4.235294246962325' 
359
'Out2_1': '12.352941062778338' 
360
'Out2_2': '4.235294246962325' 
361
'Out1_1': '12.352941062778338' 
362
'Out1_2': '4.235294246962325' 
363
'Out2_1': '12.352941062778338' 
364
'Out2_2': '4.235294246962325' 
365
'Out1_1': '12.352941062778338' 
366
'Out1_2': '4.235294246962325' 
367
'Out2_1': '12.352941062778338' 
368
'Out2_2': '4.235294246962325' 
369
'Out1_1': '12.352941062778338' 
370
'Out1_2': '4.235294246962325' 
371
'Out2_1': '12.352941062778338' 
372
'Out2_2': '4.235294246962325' 
373
'Out1_1': '12.352941062778338' 
374
'Out1_2': '4.235294246962325' 
375
'Out2_1': '12.352941062778338' 
376
'Out2_2': '4.235294246962325' 
377
'Out1_1': '12.352941062778338' 
378
'Out1_2': '4.235294246962325' 
379
'Out2_1': '12.352941062778338' 
380
'Out2_2': '4.235294246962325' 
381
'Out1_1': '12.352941062778338' 
382
'Out1_2': '4.235294246962325' 
383
'Out2_1': '12.352941062778338' 
384
'Out2_2': '4.235294246962325' 
385
'Out1_1': '12.352941062778338' 
386
'Out1_2': '4.235294246962325' 
387
'Out2_1': '12.352941062778338' 
388
'Out2_2': '4.235294246962325' 
389
'Out1_1': '12.352941062778338' 
390
'Out1_2': '4.235294246962325' 
391
'Out2_1': '12.352941062778338' 
392
'Out2_2': '4.235294246962325' 
393
'Out1_1': '12.352941062778338' 
394
'Out1_2': '4.235294246962325' 
395
'Out2_1': '12.352941062778338' 
396
'Out2_2': '4.235294246962325' 
397
'Out1_1': '12.352941062778338' 
398
'Out1_2': '4.235294246962325' 
399
'Out2_1': '12.352941062778338' 
400
'Out2_2': '4.235294246962325'