Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_flattening_3_test / flattening_3_test_flattening_3_test_mpfr100_output_values @ 8451150a

History | View | Annotate | Download (6.96 KB)

1
'Out1_1_1': '3242944447373851978891264.000000000000000' 
2
'Out2_2_1': '0.000000000000000' 
3
'Out3_3_1': '3242944447373851978891264.000000000000000' 
4
'Out1_1_1': '171319163932613277646848.000000000000000' 
5
'Out2_2_1': '6.695332605941506' 
6
'Out3_3_1': '171319163932613277646848.000000000000000' 
7
'Out1_1_1': '2588258933089100079957016576.000000000000000' 
8
'Out2_2_1': '38.104055033859360' 
9
'Out3_3_1': '2588258933089100079957016576.000000000000000' 
10
'Out1_1_1': '35062410013535546418135040.000000000000000' 
11
'Out2_2_1': '35.114939885053332' 
12
'Out3_3_1': '35062410013535546418135040.000000000000000' 
13
'Out1_1_1': '11859192299720678655918080.000000000000000' 
14
'Out2_2_1': '38.554302740283262' 
15
'Out3_3_1': '11859192299720678655918080.000000000000000' 
16
'Out1_1_1': '8056871248354109030400.000000000000000' 
17
'Out2_2_1': '34.959852165583385' 
18
'Out3_3_1': '8056871248354109030400.000000000000000' 
19
'Out1_1_1': '89421732642224898048.000000000000000' 
20
'Out2_2_1': '50.980882445961853' 
21
'Out3_3_1': '89421732642224898048.000000000000000' 
22
'Out1_1_1': '861247235106677594771161088.000000000000000' 
23
'Out2_2_1': '83.125730142318275' 
24
'Out3_3_1': '861247235106677594771161088.000000000000000' 
25
'Out1_1_1': '50878987122540049726439424.000000000000000' 
26
'Out2_2_1': '26.378152728593427' 
27
'Out3_3_1': '50878987122540049726439424.000000000000000' 
28
'Out1_1_1': '201520210386160.593750000000000' 
29
'Out2_2_1': '72.927237003527793' 
30
'Out3_3_1': '201520210386160.593750000000000' 
31
'Out1_1_1': '41362755122998217277440.000000000000000' 
32
'Out2_2_1': '3.368086214209665' 
33
'Out3_3_1': '41362755122998217277440.000000000000000' 
34
'Out1_1_1': '401884114306327117824.000000000000000' 
35
'Out2_2_1': '23.659027920468723' 
36
'Out3_3_1': '401884114306327117824.000000000000000' 
37
'Out1_1_1': '87751028072479977809903616.000000000000000' 
38
'Out2_2_1': '6.103426535355938' 
39
'Out3_3_1': '87751028072479977809903616.000000000000000' 
40
'Out1_1_1': '100830824.682200938463211' 
41
'Out2_2_1': '48.711315122984963' 
42
'Out3_3_1': '100830824.682200938463211' 
43
'Out1_1_1': '10880073556153808506060800.000000000000000' 
44
'Out2_2_1': '59.351178225846127' 
45
'Out3_3_1': '10880073556153808506060800.000000000000000' 
46
'Out1_1_1': '657795270637272122261504.000000000000000' 
47
'Out2_2_1': '16.801142364685330' 
48
'Out3_3_1': '657795270637272122261504.000000000000000' 
49
'Out1_1_1': '2044949479147193761792.000000000000000' 
50
'Out2_2_1': '35.639872642867218' 
51
'Out3_3_1': '2044949479147193761792.000000000000000' 
52
'Out1_1_1': '399771952952569.750000000000000' 
53
'Out2_2_1': '24.181294705826762' 
54
'Out3_3_1': '399771952952569.750000000000000' 
55
'Out1_1_1': '24029504882210008584945664.000000000000000' 
56
'Out2_2_1': '40.467308647293784' 
57
'Out3_3_1': '24029504882210008584945664.000000000000000' 
58
'Out1_1_1': '7702571453542305907081216.000000000000000' 
59
'Out2_2_1': '19.614599338674989' 
60
'Out3_3_1': '7702571453542305907081216.000000000000000' 
61
'Out1_1_1': '284702195780737335746887680.000000000000000' 
62
'Out2_2_1': '23.303751889515787' 
63
'Out3_3_1': '284702195780737335746887680.000000000000000' 
64
'Out1_1_1': '106718910290264113152.000000000000000' 
65
'Out2_2_1': '88.452078226100312' 
66
'Out3_3_1': '106718910290264113152.000000000000000' 
67
'Out1_1_1': '981973203213450258860212224.000000000000000' 
68
'Out2_2_1': '74.488856868216374' 
69
'Out3_3_1': '981973203213450258860212224.000000000000000' 
70
'Out1_1_1': '168086030362988026890551296.000000000000000' 
71
'Out2_2_1': '7.329260350277944' 
72
'Out3_3_1': '168086030362988026890551296.000000000000000' 
73
'Out1_1_1': '102959128382322816.000000000000000' 
74
'Out2_2_1': '31.108872314982804' 
75
'Out3_3_1': '102959128382322816.000000000000000' 
76
'Out1_1_1': '14170.244379984918851' 
77
'Out2_2_1': '26.795719406602714' 
78
'Out3_3_1': '14170.244379984918851' 
79
'Out1_1_1': '458673596148055080960.000000000000000' 
80
'Out2_2_1': '68.553935853170117' 
81
'Out3_3_1': '458673596148055080960.000000000000000' 
82
'Out1_1_1': '503003810210776617058304.000000000000000' 
83
'Out2_2_1': '25.618649314333975' 
84
'Out3_3_1': '503003810210776617058304.000000000000000' 
85
'Out1_1_1': '13847544082059747131392.000000000000000' 
86
'Out2_2_1': '98.693602826325616' 
87
'Out3_3_1': '13847544082059747131392.000000000000000' 
88
'Out1_1_1': '38834623161297490231164928.000000000000000' 
89
'Out2_2_1': '7.552153100045111' 
90
'Out3_3_1': '38834623161297490231164928.000000000000000' 
91
'Out1_1_1': '421037575637088.500000000000000' 
92
'Out2_2_1': '30.471958701957224' 
93
'Out3_3_1': '421037575637088.500000000000000' 
94
'Out1_1_1': '47330696596754551275520.000000000000000' 
95
'Out2_2_1': '79.039606989788112' 
96
'Out3_3_1': '47330696596754551275520.000000000000000' 
97
'Out1_1_1': '1755575627084038694175244288.000000000000000' 
98
'Out2_2_1': '74.212020632785624' 
99
'Out3_3_1': '1755575627084038694175244288.000000000000000' 
100
'Out1_1_1': '8350367422.439195632934570' 
101
'Out2_2_1': '54.617310667470910' 
102
'Out3_3_1': '8350367422.439195632934570' 
103
'Out1_1_1': '1855238344656589588367671296.000000000000000' 
104
'Out2_2_1': '87.032370398723032' 
105
'Out3_3_1': '1855238344656589588367671296.000000000000000' 
106
'Out1_1_1': '23926810695746049928069120.000000000000000' 
107
'Out2_2_1': '85.713399261009940' 
108
'Out3_3_1': '23926810695746049928069120.000000000000000' 
109
'Out1_1_1': '969365053412668740730880.000000000000000' 
110
'Out2_2_1': '63.517262833072486' 
111
'Out3_3_1': '969365053412668740730880.000000000000000' 
112
'Out1_1_1': '21165141302355.335937500000000' 
113
'Out2_2_1': '98.086748700282556' 
114
'Out3_3_1': '21165141302355.335937500000000' 
115
'Out1_1_1': '1074178931315838812160.000000000000000' 
116
'Out2_2_1': '73.144689825619452' 
117
'Out3_3_1': '1074178931315838812160.000000000000000' 
118
'Out1_1_1': '978997604157897048064.000000000000000' 
119
'Out2_2_1': '53.326413256409964' 
120
'Out3_3_1': '978997604157897048064.000000000000000' 
121
'Out1_1_1': '9876905212790898688.000000000000000' 
122
'Out2_2_1': '33.965267650346284' 
123
'Out3_3_1': '9876905212790898688.000000000000000' 
124
'Out1_1_1': '1186699344772469506130837504.000000000000000' 
125
'Out2_2_1': '20.632929735573402' 
126
'Out3_3_1': '1186699344772469506130837504.000000000000000' 
127
'Out1_1_1': '332349031421149681025024.000000000000000' 
128
'Out2_2_1': '90.637952355089396' 
129
'Out3_3_1': '332349031421149681025024.000000000000000' 
130
'Out1_1_1': '500335701531327732111114240.000000000000000' 
131
'Out2_2_1': '56.528545867643452' 
132
'Out3_3_1': '500335701531327732111114240.000000000000000' 
133
'Out1_1_1': '25149488566135.281250000000000' 
134
'Out2_2_1': '34.166989854752970' 
135
'Out3_3_1': '25149488566135.281250000000000' 
136
'Out1_1_1': '217805910026708994817523712.000000000000000' 
137
'Out2_2_1': '42.194274615480744' 
138
'Out3_3_1': '217805910026708994817523712.000000000000000' 
139
'Out1_1_1': '16078789100440028.000000000000000' 
140
'Out2_2_1': '60.547730134090891' 
141
'Out3_3_1': '16078789100440028.000000000000000' 
142
'Out1_1_1': '44172994775466733983498240.000000000000000' 
143
'Out2_2_1': '20.807434308704565' 
144
'Out3_3_1': '44172994775466733983498240.000000000000000' 
145
'Out1_1_1': '1120159540153810944.000000000000000' 
146
'Out2_2_1': '16.017221479496378' 
147
'Out3_3_1': '1120159540153810944.000000000000000' 
148
'Out1_1_1': '3225398312377999842617589760.000000000000000' 
149
'Out2_2_1': '10.554088632411284' 
150
'Out3_3_1': '3225398312377999842617589760.000000000000000'