Project

General

Profile

Download (6.96 KB) 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

1 8451150a hbourbou 
'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'