Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / ForIterator_bio_bug_PP.LUSTREC_ForIterator_bio_bug_PP_mpfr100_output_values @ cd1faebc

History | View | Annotate | Download (6.14 KB)

1 4748b215 hbourbou
'Out1_1': '1.000000000000000' 
2
'Out2_1': '52.014526130261110' 
3
'Out1_1': '1.000000000000000' 
4
'Out2_1': '76.581475836145913' 
5
'Out1_1': '1.000000000000000' 
6
'Out2_1': '8.376952394522796' 
7
'Out1_1': '1.000000000000000' 
8
'Out2_1': '11.269795712577446' 
9
'Out1_1': '1.000000000000000' 
10
'Out2_1': '70.965758559909702' 
11
'Out1_1': '1.000000000000000' 
12
'Out2_1': '20.714818412669047' 
13
'Out1_1': '1.000000000000000' 
14
'Out2_1': '29.594452959727491' 
15
'Out1_1': '1.000000000000000' 
16
'Out2_1': '84.836147199773421' 
17
'Out1_1': '1.000000000000000' 
18
'Out2_1': '24.843602386087937' 
19
'Out1_1': '1.000000000000000' 
20
'Out2_1': '22.045545003125653' 
21
'Out1_1': '1.000000000000000' 
22
'Out2_1': '71.533578898512189' 
23
'Out1_1': '1.000000000000000' 
24
'Out2_1': '18.135980625528802' 
25
'Out1_1': '1.000000000000000' 
26
'Out2_1': '20.463193237118393' 
27
'Out1_1': '1.000000000000000' 
28
'Out2_1': '68.130285038550156' 
29
'Out1_1': '1.000000000000000' 
30
'Out2_1': '66.923485278461442' 
31
'Out1_1': '1.000000000000000' 
32
'Out2_1': '58.316095933290214' 
33
'Out1_1': '1.000000000000000' 
34
'Out2_1': '15.042608148826231' 
35
'Out1_1': '1.000000000000000' 
36
'Out2_1': '72.505661345189864' 
37
'Out1_1': '1.000000000000000' 
38
'Out2_1': '10.744301400809142' 
39
'Out1_1': '1.000000000000000' 
40
'Out2_1': '37.888790051606861' 
41
'Out1_1': '1.000000000000000' 
42
'Out2_1': '49.825370582886350' 
43
'Out1_1': '1.000000000000000' 
44
'Out2_1': '97.417459338173742' 
45
'Out1_1': '1.000000000000000' 
46
'Out2_1': '2.255751973469022' 
47
'Out1_1': '1.000000000000000' 
48
'Out2_1': '99.756403013890889' 
49
'Out1_1': '1.000000000000000' 
50
'Out2_1': '9.219555965104609' 
51
'Out1_1': '1.000000000000000' 
52
'Out2_1': '78.303163731534525' 
53
'Out1_1': '1.000000000000000' 
54
'Out2_1': '59.650837992279506' 
55
'Out1_1': '1.000000000000000' 
56
'Out2_1': '68.033670205407617' 
57
'Out1_1': '1.000000000000000' 
58
'Out2_1': '31.140166043246776' 
59
'Out1_1': '1.000000000000000' 
60
'Out2_1': '4.938059164389863' 
61
'Out1_1': '1.000000000000000' 
62
'Out2_1': '43.226313135815808' 
63
'Out1_1': '1.000000000000000' 
64
'Out2_1': '16.111400918778795' 
65
'Out1_1': '1.000000000000000' 
66
'Out2_1': '65.432776725544869' 
67
'Out1_1': '1.000000000000000' 
68
'Out2_1': '39.252915562295975' 
69
'Out1_1': '1.000000000000000' 
70
'Out2_1': '8.215580483647988' 
71
'Out1_1': '1.000000000000000' 
72
'Out2_1': '85.065078154191127' 
73
'Out1_1': '1.000000000000000' 
74
'Out2_1': '1.572983567112263' 
75
'Out1_1': '1.000000000000000' 
76
'Out2_1': '53.053781839745405' 
77
'Out1_1': '1.000000000000000' 
78
'Out2_1': '96.808532918504838' 
79
'Out1_1': '1.000000000000000' 
80
'Out2_1': '35.297214246073004' 
81
'Out1_1': '1.000000000000000' 
82
'Out2_1': '64.277439588509125' 
83
'Out1_1': '1.000000000000000' 
84
'Out2_1': '50.222169379423661' 
85
'Out1_1': '1.000000000000000' 
86
'Out2_1': '70.386802942112510' 
87
'Out1_1': '1.000000000000000' 
88
'Out2_1': '72.212387019734422' 
89
'Out1_1': '1.000000000000000' 
90
'Out2_1': '6.228800827520431' 
91
'Out1_1': '1.000000000000000' 
92
'Out2_1': '97.446515774703130' 
93
'Out1_1': '1.000000000000000' 
94
'Out2_1': '77.631747162642569' 
95
'Out1_1': '1.000000000000000' 
96
'Out2_1': '72.759073608981168' 
97
'Out1_1': '1.000000000000000' 
98
'Out2_1': '10.808254669789797' 
99
'Out1_1': '1.000000000000000' 
100
'Out2_1': '25.133495660771644' 
101
'Out1_1': '1.000000000000000' 
102
'Out2_1': '51.916437271964497' 
103
'Out1_1': '1.000000000000000' 
104
'Out2_1': '53.832537336823329' 
105
'Out1_1': '1.000000000000000' 
106
'Out2_1': '54.545683390228483' 
107
'Out1_1': '1.000000000000000' 
108
'Out2_1': '75.870398189684408' 
109
'Out1_1': '1.000000000000000' 
110
'Out2_1': '32.271816891872909' 
111
'Out1_1': '1.000000000000000' 
112
'Out2_1': '65.818193602833986' 
113
'Out1_1': '1.000000000000000' 
114
'Out2_1': '68.938987951128453' 
115
'Out1_1': '1.000000000000000' 
116
'Out2_1': '71.657418335376562' 
117
'Out1_1': '1.000000000000000' 
118
'Out2_1': '6.221073324910775' 
119
'Out1_1': '1.000000000000000' 
120
'Out2_1': '64.965031378413045' 
121
'Out1_1': '1.000000000000000' 
122
'Out2_1': '84.360441427232800' 
123
'Out1_1': '1.000000000000000' 
124
'Out2_1': '43.101423504987636' 
125
'Out1_1': '1.000000000000000' 
126
'Out2_1': '79.905223111865709' 
127
'Out1_1': '1.000000000000000' 
128
'Out2_1': '16.813802155521241' 
129
'Out1_1': '1.000000000000000' 
130
'Out2_1': '34.959392901004492' 
131
'Out1_1': '1.000000000000000' 
132
'Out2_1': '13.860361187400494' 
133
'Out1_1': '1.000000000000000' 
134
'Out2_1': '91.176783283792901' 
135
'Out1_1': '1.000000000000000' 
136
'Out2_1': '9.564901902687229' 
137
'Out1_1': '1.000000000000000' 
138
'Out2_1': '52.787016518583648' 
139
'Out1_1': '1.000000000000000' 
140
'Out2_1': '61.850149382853971' 
141
'Out1_1': '1.000000000000000' 
142
'Out2_1': '94.717297629413409' 
143
'Out1_1': '1.000000000000000' 
144
'Out2_1': '11.055953647881267' 
145
'Out1_1': '1.000000000000000' 
146
'Out2_1': '81.810221788192621' 
147
'Out1_1': '1.000000000000000' 
148
'Out2_1': '85.073555882345502' 
149
'Out1_1': '1.000000000000000' 
150
'Out2_1': '64.738436001038195' 
151
'Out1_1': '1.000000000000000' 
152
'Out2_1': '85.929300560819172' 
153
'Out1_1': '1.000000000000000' 
154
'Out2_1': '98.048247553155335' 
155
'Out1_1': '1.000000000000000' 
156
'Out2_1': '84.403198280210006' 
157
'Out1_1': '1.000000000000000' 
158
'Out2_1': '80.455243092747679' 
159
'Out1_1': '1.000000000000000' 
160
'Out2_1': '0.604785385215423' 
161
'Out1_1': '1.000000000000000' 
162
'Out2_1': '30.756887653917243' 
163
'Out1_1': '1.000000000000000' 
164
'Out2_1': '38.248510567611739' 
165
'Out1_1': '1.000000000000000' 
166
'Out2_1': '82.274063037577378' 
167
'Out1_1': '1.000000000000000' 
168
'Out2_1': '82.833299422703448' 
169
'Out1_1': '1.000000000000000' 
170
'Out2_1': '41.401618917961059' 
171
'Out1_1': '1.000000000000000' 
172
'Out2_1': '84.759106711765469' 
173
'Out1_1': '1.000000000000000' 
174
'Out2_1': '12.516536222572061' 
175
'Out1_1': '1.000000000000000' 
176
'Out2_1': '69.891789456776749' 
177
'Out1_1': '1.000000000000000' 
178
'Out2_1': '32.102461529786360' 
179
'Out1_1': '1.000000000000000' 
180
'Out2_1': '46.064680095250921' 
181
'Out1_1': '1.000000000000000' 
182
'Out2_1': '83.504975611175610' 
183
'Out1_1': '1.000000000000000' 
184
'Out2_1': '74.890548624287973' 
185
'Out1_1': '1.000000000000000' 
186
'Out2_1': '23.299633281150289' 
187
'Out1_1': '1.000000000000000' 
188
'Out2_1': '26.024217846821251' 
189
'Out1_1': '1.000000000000000' 
190
'Out2_1': '47.963378611293052' 
191
'Out1_1': '1.000000000000000' 
192
'Out2_1': '24.198755839113907' 
193
'Out1_1': '1.000000000000000' 
194
'Out2_1': '61.580595983901134' 
195
'Out1_1': '1.000000000000000' 
196
'Out2_1': '88.054956935554969' 
197
'Out1_1': '1.000000000000000' 
198
'Out2_1': '81.942178553692656' 
199
'Out1_1': '1.000000000000000' 
200
'Out2_1': '70.654423081851817'