Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / DSS.LUSTREC_DSS_mpfr100_output_values @ cd1faebc

History | View | Annotate | Download (9.45 KB)

1 4748b215 hbourbou
'Out1_1': '95.092426782180269' 
2
'Out2_1': '95.092426782180269' 
3
'Out1_1': '258.906258300000729' 
4
'Out2_1': '258.906258300000729' 
5
'Out1_1': '638.432242497946845' 
6
'Out2_1': '638.432242497946845' 
7
'Out1_1': '1399.713766427247720' 
8
'Out2_1': '1399.713766427247720' 
9
'Out1_1': '3091.064772063240980' 
10
'Out2_1': '3091.064772063240980' 
11
'Out1_1': '6526.465762688598261' 
12
'Out2_1': '6526.465762688598261' 
13
'Out1_1': '13655.481203110375645' 
14
'Out2_1': '13655.481203110375645' 
15
'Out1_1': '28416.191010028855089' 
16
'Out2_1': '28416.191010028855089' 
17
'Out1_1': '59187.981906599437934' 
18
'Out2_1': '59187.981906599437934' 
19
'Out1_1': '122650.756745631399099' 
20
'Out2_1': '122650.756745631399099' 
21
'Out1_1': '254236.460036112315720' 
22
'Out2_1': '254236.460036112315720' 
23
'Out1_1': '526438.366520910291001' 
24
'Out2_1': '526438.366520910291001' 
25
'Out1_1': '1089993.773853061720729' 
26
'Out2_1': '1089993.773853061720729' 
27
'Out1_1': '2256518.932720838580281' 
28
'Out2_1': '2256518.932720838580281' 
29
'Out1_1': '4670987.383794367313385' 
30
'Out2_1': '4670987.383794367313385' 
31
'Out1_1': '9668692.172996100038290' 
32
'Out2_1': '9668692.172996100038290' 
33
'Out1_1': '20013472.112760748714209' 
34
'Out2_1': '20013472.112760748714209' 
35
'Out1_1': '41425807.539501547813416' 
36
'Out2_1': '41425807.539501547813416' 
37
'Out1_1': '85746893.600401178002357' 
38
'Out2_1': '85746893.600401178002357' 
39
'Out1_1': '177486475.527613431215286' 
40
'Out2_1': '177486475.527613431215286' 
41
'Out1_1': '367376433.149193048477173' 
42
'Out2_1': '367376433.149193048477173' 
43
'Out1_1': '760426347.175161361694336' 
44
'Out2_1': '760426347.175161361694336' 
45
'Out1_1': '1573993470.511309146881104' 
46
'Out2_1': '1573993470.511309146881104' 
47
'Out1_1': '3257981549.484904766082764' 
48
'Out2_1': '3257981549.484904766082764' 
49
'Out1_1': '6743638688.780784606933594' 
50
'Out2_1': '6743638688.780784606933594' 
51
'Out1_1': '13958538663.022432327270508' 
52
'Out2_1': '13958538663.022432327270508' 
53
'Out1_1': '28892532011.224063873291016' 
54
'Out2_1': '28892532011.224063873291016' 
55
'Out1_1': '59804140253.333015441894531' 
56
'Out2_1': '59804140253.333015441894531' 
57
'Out1_1': '123787529889.263732910156250' 
58
'Out2_1': '123787529889.263732910156250' 
59
'Out1_1': '256225613428.018493652343750' 
60
'Out2_1': '256225613428.018493652343750' 
61
'Out1_1': '530356854100.197814941406250' 
62
'Out2_1': '530356854100.197814941406250' 
63
'Out1_1': '1097776247837.965698242187500' 
64
'Out2_1': '1097776247837.965698242187500' 
65
'Out1_1': '2272267588961.694335937500000' 
66
'Out2_1': '2272267588961.694335937500000' 
67
'Out1_1': '4703326388351.235351562500000' 
68
'Out2_1': '4703326388351.235351562500000' 
69
'Out1_1': '9735331886689.017578125000000' 
70
'Out2_1': '9735331886689.017578125000000' 
71
'Out1_1': '20150990833962.898437500000000' 
72
'Out2_1': '20150990833962.898437500000000' 
73
'Out1_1': '41710178585871.320312500000000' 
74
'Out2_1': '41710178585871.320312500000000' 
75
'Out1_1': '86335158999565.859375000000000' 
76
'Out2_1': '86335158999565.859375000000000' 
77
'Out1_1': '178703614612990.031250000000000' 
78
'Out2_1': '178703614612990.031250000000000' 
79
'Out1_1': '369895442896774.562500000000000' 
80
'Out2_1': '369895442896774.562500000000000' 
81
'Out1_1': '765640017813626.125000000000000' 
82
'Out2_1': '765640017813626.125000000000000' 
83
'Out1_1': '1584784695606322.250000000000000' 
84
'Out2_1': '1584784695606322.250000000000000' 
85
'Out1_1': '3280317738092736.000000000000000' 
86
'Out2_1': '3280317738092736.000000000000000' 
87
'Out1_1': '6789871515466485.000000000000000' 
88
'Out2_1': '6789871515466485.000000000000000' 
89
'Out1_1': '14054234643545786.000000000000000' 
90
'Out2_1': '14054234643545786.000000000000000' 
91
'Out1_1': '29090611061771844.000000000000000' 
92
'Out2_1': '29090611061771844.000000000000000' 
93
'Out1_1': '60214139966412416.000000000000000' 
94
'Out2_1': '60214139966412416.000000000000000' 
95
'Out1_1': '124636180525588976.000000000000000' 
96
'Out2_1': '124636180525588976.000000000000000' 
97
'Out1_1': '257982219868491840.000000000000000' 
98
'Out2_1': '257982219868491840.000000000000000' 
99
'Out1_1': '533992822049055488.000000000000000' 
100
'Out2_1': '533992822049055488.000000000000000' 
101
'Out1_1': '1105302272944508800.000000000000000' 
102
'Out2_1': '1105302272944508800.000000000000000' 
103
'Out1_1': '2287845574194002176.000000000000000' 
104
'Out2_1': '2287845574194002176.000000000000000' 
105
'Out1_1': '4735570983143961600.000000000000000' 
106
'Out2_1': '4735570983143961600.000000000000000' 
107
'Out1_1': '9802074401064204288.000000000000000' 
108
'Out2_1': '9802074401064204288.000000000000000' 
109
'Out1_1': '20289139980372525056.000000000000000' 
110
'Out2_1': '20289139980372525056.000000000000000' 
111
'Out1_1': '41996131053489897472.000000000000000' 
112
'Out2_1': '41996131053489897472.000000000000000' 
113
'Out1_1': '86927046940780003328.000000000000000' 
114
'Out2_1': '86927046940780003328.000000000000000' 
115
'Out1_1': '179928752965843386368.000000000000000' 
116
'Out2_1': '179928752965843386368.000000000000000' 
117
'Out1_1': '372431335046949044224.000000000000000' 
118
'Out2_1': '372431335046949044224.000000000000000' 
119
'Out1_1': '770889016005039226880.000000000000000' 
120
'Out2_1': '770889016005039226880.000000000000000' 
121
'Out1_1': '1595649503880503099392.000000000000000' 
122
'Out2_1': '1595649503880503099392.000000000000000' 
123
'Out1_1': '3302806612070669221888.000000000000000' 
124
'Out2_1': '3302806612070669221888.000000000000000' 
125
'Out1_1': '6836420836912480124928.000000000000000' 
126
'Out2_1': '6836420836912480124928.000000000000000' 
127
'Out1_1': '14150586258536628486144.000000000000000' 
128
'Out2_1': '14150586258536628486144.000000000000000' 
129
'Out1_1': '29290047561015756849152.000000000000000' 
130
'Out2_1': '29290047561015756849152.000000000000000' 
131
'Out1_1': '60626950039544491147264.000000000000000' 
132
'Out2_1': '60626950039544491147264.000000000000000' 
133
'Out1_1': '125490648775510435299328.000000000000000' 
134
'Out2_1': '125490648775510435299328.000000000000000' 
135
'Out1_1': '259750868546525933338624.000000000000000' 
136
'Out2_1': '259750868546525933338624.000000000000000' 
137
'Out1_1': '537653716583872704020480.000000000000000' 
138
'Out2_1': '537653716583872704020480.000000000000000' 
139
'Out1_1': '1112879893622659934584832.000000000000000' 
140
'Out2_1': '1112879893622659934584832.000000000000000' 
141
'Out1_1': '2303530356860054543532032.000000000000000' 
142
'Out2_1': '2303530356860054543532032.000000000000000' 
143
'Out1_1': '4768036636642643420381184.000000000000000' 
144
'Out2_1': '4768036636642643420381184.000000000000000' 
145
'Out1_1': '9869274481520388436131840.000000000000000' 
146
'Out2_1': '9869274481520388436131840.000000000000000' 
147
'Out1_1': '20428236235234641144971264.000000000000000' 
148
'Out2_1': '20428236235234641144971264.000000000000000' 
149
'Out1_1': '42284043924803814978224128.000000000000000' 
150
'Out2_1': '42284043924803814978224128.000000000000000' 
151
'Out1_1': '87522992687488945562320896.000000000000000' 
152
'Out2_1': '87522992687488945562320896.000000000000000' 
153
'Out1_1': '181162290498916263095435264.000000000000000' 
154
'Out2_1': '181162290498916263095435264.000000000000000' 
155
'Out1_1': '374984612512058005059010560.000000000000000' 
156
'Out2_1': '374984612512058005059010560.000000000000000' 
157
'Out1_1': '776173999752224722479218688.000000000000000' 
158
'Out2_1': '776173999752224722479218688.000000000000000' 
159
'Out1_1': '1606588798018996540907978752.000000000000000' 
160
'Out2_1': '1606588798018996540907978752.000000000000000' 
161
'Out1_1': '3325449663018973490080382976.000000000000000' 
162
'Out2_1': '3325449663018973490080382976.000000000000000' 
163
'Out1_1': '6883289286536059038235361280.000000000000000' 
164
'Out2_1': '6883289286536059038235361280.000000000000000' 
165
'Out1_1': '14247598431283714373160271872.000000000000000' 
166
'Out2_1': '14247598431283714373160271872.000000000000000' 
167
'Out1_1': '29490851337046266354709037056.000000000000000' 
168
'Out2_1': '29490851337046266354709037056.000000000000000' 
169
'Out1_1': '61042590214651520336477028352.000000000000000' 
170
'Out2_1': '61042590214651520336477028352.000000000000000' 
171
'Out1_1': '126350975003323745073511792640.000000000000000' 
172
'Out2_1': '126350975003323745073511792640.000000000000000' 
173
'Out1_1': '261531642549118210162594676736.000000000000000' 
174
'Out2_1': '261531642549118210162594676736.000000000000000' 
175
'Out1_1': '541339709112972475165493428224.000000000000000' 
176
'Out2_1': '541339709112972475165493428224.000000000000000' 
177
'Out1_1': '1120509464194108814574965751808.000000000000000' 
178
'Out2_1': '1120509464194108814574965751808.000000000000000' 
179
'Out1_1': '2319322669689005556680942944256.000000000000000' 
180
'Out2_1': '2319322669689005556680942944256.000000000000000' 
181
'Out1_1': '4800724864918653116422622806016.000000000000000' 
182
'Out2_1': '4800724864918653116422622806016.000000000000000' 
183
'Out1_1': '9936935265561196762721956134912.000000000000000' 
184
'Out2_1': '9936935265561196762721956134912.000000000000000' 
185
'Out1_1': '20568286092276804037986456961024.000000000000000' 
186
'Out2_1': '20568286092276804037986456961024.000000000000000' 
187
'Out1_1': '42573930640359768659091542507520.000000000000000' 
188
'Out2_1': '42573930640359768659091542507520.000000000000000' 
189
'Out1_1': '88123024059391885884148364083200.000000000000000' 
190
'Out2_1': '88123024059391885884148364083200.000000000000000' 
191
'Out1_1': '182404284795126900880260997316608.000000000000000' 
192
'Out2_1': '182404284795126900880260997316608.000000000000000' 
193
'Out1_1': '377555394481220104626330396524544.000000000000000' 
194
'Out2_1': '377555394481220104626330396524544.000000000000000' 
195
'Out1_1': '781495215761938327948643811721216.000000000000000' 
196
'Out2_1': '781495215761938327948643811721216.000000000000000' 
197
'Out1_1': '1617603088675182554406511565602816.000000000000000' 
198
'Out2_1': '1617603088675182554406511565602816.000000000000000' 
199
'Out1_1': '3348247947929318619852350624366592.000000000000000' 
200
'Out2_1': '3348247947929318619852350624366592.000000000000000'