Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_product_matrix_multiple_test / product_matrix_multiple_test_product_matrix_multiple_test_mpfr100_output_values @ 8451150a

History | View | Annotate | Download (16.2 KB)

1
'Out4_1_1': '349750.153074077446945' 
2
'Out4_1_2': '228408.019086486194283' 
3
'Out1_2_1': '1097862215993.648071289062500' 
4
'Out1_2_2': '995239079360.292602539062500' 
5
'Out4_1_1': '1247428.189585780026391' 
6
'Out4_1_2': '441418.452005038561765' 
7
'Out1_2_1': '888856497353.127319335937500' 
8
'Out1_2_2': '2194356387140.634765625000000' 
9
'Out4_1_1': '300111.398968379478902' 
10
'Out4_1_2': '166036.332916948042111' 
11
'Out1_2_1': '2633481721612.338378906250000' 
12
'Out1_2_2': '4169535467735.622558593750000' 
13
'Out4_1_1': '911583.925261418102309' 
14
'Out4_1_2': '433466.931869982799981' 
15
'Out1_2_1': '4534671870407.999023437500000' 
16
'Out1_2_2': '6689862601293.192382812500000' 
17
'Out4_1_1': '1022937.745444003609009' 
18
'Out4_1_2': '596864.961217160336673' 
19
'Out1_2_1': '801333323747.166381835937500' 
20
'Out1_2_2': '584423495425.317993164062500' 
21
'Out4_1_1': '1407778.637598241679370' 
22
'Out4_1_2': '565135.061660764389671' 
23
'Out1_2_1': '327285317008.621337890625000' 
24
'Out1_2_2': '389422898084.826904296875000' 
25
'Out4_1_1': '290476.130048571503721' 
26
'Out4_1_2': '581542.384445848176256' 
27
'Out1_2_1': '3351836228182.318359375000000' 
28
'Out1_2_2': '2831050244213.812500000000000' 
29
'Out4_1_1': '381115.504841093323193' 
30
'Out4_1_2': '761002.267064001294784' 
31
'Out1_2_1': '2272335891713.914062500000000' 
32
'Out1_2_2': '2983519299415.990722656250000' 
33
'Out4_1_1': '566275.165113556082360' 
34
'Out4_1_2': '851063.565392439137213' 
35
'Out1_2_1': '597661312102.027343750000000' 
36
'Out1_2_2': '326340023520.270141601562500' 
37
'Out4_1_1': '1406986.010013751685619' 
38
'Out4_1_2': '1527858.490139988483861' 
39
'Out1_2_1': '1194811245531.533935546875000' 
40
'Out1_2_2': '1020394725757.754760742187500' 
41
'Out4_1_1': '402905.208109147264622' 
42
'Out4_1_2': '1245999.697803749935701' 
43
'Out1_2_1': '126859472032.863052368164062' 
44
'Out1_2_2': '81919692976.498046875000000' 
45
'Out4_1_1': '608062.482815087190829' 
46
'Out4_1_2': '696415.863722519250587' 
47
'Out1_2_1': '681025130569.287597656250000' 
48
'Out1_2_2': '1234336484132.489013671875000' 
49
'Out4_1_1': '937557.476741165737621' 
50
'Out4_1_2': '459150.785250757588074' 
51
'Out1_2_1': '593951696363.812133789062500' 
52
'Out1_2_2': '676311810661.372924804687500' 
53
'Out4_1_1': '633086.940810586325824' 
54
'Out4_1_2': '874428.864705371670425' 
55
'Out1_2_1': '4082694803419.599609375000000' 
56
'Out1_2_2': '5366591123591.925781250000000' 
57
'Out4_1_1': '501121.273011923651211' 
58
'Out4_1_2': '599130.317173319170251' 
59
'Out1_2_1': '3374239220380.856445312500000' 
60
'Out1_2_2': '6342645639249.045898437500000' 
61
'Out4_1_1': '2199081.485114802140743' 
62
'Out4_1_2': '1497792.630950952647254' 
63
'Out1_2_1': '377138334746.184204101562500' 
64
'Out1_2_2': '932296779021.363037109375000' 
65
'Out4_1_1': '150282.911750220344402' 
66
'Out4_1_2': '378302.306366861041170' 
67
'Out1_2_1': '8072495411353.478515625000000' 
68
'Out1_2_2': '9330050365917.248046875000000' 
69
'Out4_1_1': '745281.035751223098487' 
70
'Out4_1_2': '274699.515308336704038' 
71
'Out1_2_1': '1016506891846.580932617187500' 
72
'Out1_2_2': '2507344410882.977050781250000' 
73
'Out4_1_1': '688329.477116027148440' 
74
'Out4_1_2': '374238.565902602684218' 
75
'Out1_2_1': '2458542562985.320800781250000' 
76
'Out1_2_2': '4058444578668.852050781250000' 
77
'Out4_1_1': '792758.999937044689432' 
78
'Out4_1_2': '1202440.584945918293670' 
79
'Out1_2_1': '2745151159743.564941406250000' 
80
'Out1_2_2': '2198580851266.330810546875000' 
81
'Out4_1_1': '182243.131685855682008' 
82
'Out4_1_2': '461715.672089723171666' 
83
'Out1_2_1': '2156593112742.063720703125000' 
84
'Out1_2_2': '1680777657648.142089843750000' 
85
'Out4_1_1': '529452.579832709045149' 
86
'Out4_1_2': '927604.040862125344574' 
87
'Out1_2_1': '4116845280833.893554687500000' 
88
'Out1_2_2': '8447975906177.649414062500000' 
89
'Out4_1_1': '418496.053422594617587' 
90
'Out4_1_2': '217935.370676418358926' 
91
'Out1_2_1': '1483114608613.442382812500000' 
92
'Out1_2_2': '1222623243738.065673828125000' 
93
'Out4_1_1': '1294673.994910013629124' 
94
'Out4_1_2': '1602110.835552130360156' 
95
'Out1_2_1': '992200260586.425537109375000' 
96
'Out1_2_2': '1232021403622.109619140625000' 
97
'Out4_1_1': '1236286.388356212293729' 
98
'Out4_1_2': '853314.820727446116507' 
99
'Out1_2_1': '757972352028.794189453125000' 
100
'Out1_2_2': '560957675340.511474609375000' 
101
'Out4_1_1': '1010153.199803223018534' 
102
'Out4_1_2': '1033854.732746252440847' 
103
'Out1_2_1': '1445107440441.570312500000000' 
104
'Out1_2_2': '993169468791.180908203125000' 
105
'Out4_1_1': '573683.774798391386867' 
106
'Out4_1_2': '970853.991900510969572' 
107
'Out1_2_1': '1280255304590.087890625000000' 
108
'Out1_2_2': '1716718222487.755126953125000' 
109
'Out4_1_1': '457292.668314961425494' 
110
'Out4_1_2': '505135.067526231985539' 
111
'Out1_2_1': '248958735066.175933837890625' 
112
'Out1_2_2': '545256181401.388427734375000' 
113
'Out4_1_1': '428589.937762305489741' 
114
'Out4_1_2': '127470.965028427133802' 
115
'Out1_2_1': '1542306628058.875488281250000' 
116
'Out1_2_2': '1346636766797.898681640625000' 
117
'Out4_1_1': '150222.725439547124552' 
118
'Out4_1_2': '163772.877028978662565' 
119
'Out1_2_1': '1793760285819.284179687500000' 
120
'Out1_2_2': '2049836388377.998291015625000' 
121
'Out4_1_1': '248539.393855398142477' 
122
'Out4_1_2': '127625.122415715290117' 
123
'Out1_2_1': '838814726770.814331054687500' 
124
'Out1_2_2': '1276958050745.077148437500000' 
125
'Out4_1_1': '100551.122586586308898' 
126
'Out4_1_2': '482473.124572886328679' 
127
'Out1_2_1': '1157302037432.802246093750000' 
128
'Out1_2_2': '857643842208.958618164062500' 
129
'Out4_1_1': '1245608.397151271114126' 
130
'Out4_1_2': '741905.069023046526127' 
131
'Out1_2_1': '4141387990847.210937500000000' 
132
'Out1_2_2': '3343964231877.425781250000000' 
133
'Out4_1_1': '628847.408640553592704' 
134
'Out4_1_2': '536768.052252526860684' 
135
'Out1_2_1': '1608573152450.201660156250000' 
136
'Out1_2_2': '558929900301.981567382812500' 
137
'Out4_1_1': '422850.388251714990474' 
138
'Out4_1_2': '306178.437986092409119' 
139
'Out1_2_1': '3268486796136.800781250000000' 
140
'Out1_2_2': '2521948062018.241699218750000' 
141
'Out4_1_1': '1301619.036718853283674' 
142
'Out4_1_2': '971738.948529314599000' 
143
'Out1_2_1': '4403180478745.231445312500000' 
144
'Out1_2_2': '6562284846286.629882812500000' 
145
'Out4_1_1': '696945.568247811868787' 
146
'Out4_1_2': '1156749.621386408573017' 
147
'Out1_2_1': '1126163456248.898193359375000' 
148
'Out1_2_2': '1933267052510.669677734375000' 
149
'Out4_1_1': '723392.500834031845443' 
150
'Out4_1_2': '920661.019519377383403' 
151
'Out1_2_1': '944537818654.969848632812500' 
152
'Out1_2_2': '736131072571.966796875000000' 
153
'Out4_1_1': '181702.757624824764207' 
154
'Out4_1_2': '576364.455276686814614' 
155
'Out1_2_1': '501751799013.327941894531250' 
156
'Out1_2_2': '711642363743.788574218750000' 
157
'Out4_1_1': '719501.702242736821063' 
158
'Out4_1_2': '782764.777513829525560' 
159
'Out1_2_1': '1303512128755.120605468750000' 
160
'Out1_2_2': '2247784094541.931152343750000' 
161
'Out4_1_1': '819896.029986791894771' 
162
'Out4_1_2': '806298.060208784183487' 
163
'Out1_2_1': '1330757449497.147949218750000' 
164
'Out1_2_2': '712304378729.041137695312500' 
165
'Out4_1_1': '516931.797348513791803' 
166
'Out4_1_2': '1062328.798375437734649' 
167
'Out1_2_1': '2575991540579.451171875000000' 
168
'Out1_2_2': '4006670306776.108886718750000' 
169
'Out4_1_1': '88682.560896065580891' 
170
'Out4_1_2': '89544.190384776331484' 
171
'Out1_2_1': '3648408297834.375976562500000' 
172
'Out1_2_2': '2522759151903.830078125000000' 
173
'Out4_1_1': '687427.073171004420146' 
174
'Out4_1_2': '655763.560050814645365' 
175
'Out1_2_1': '2341639261183.734863281250000' 
176
'Out1_2_2': '2111070215469.997802734375000' 
177
'Out4_1_1': '414796.825386445503682' 
178
'Out4_1_2': '807527.551732587278821' 
179
'Out1_2_1': '340354663732.480224609375000' 
180
'Out1_2_2': '297491132925.513183593750000' 
181
'Out4_1_1': '803588.290899337618612' 
182
'Out4_1_2': '1367388.589722334407270' 
183
'Out1_2_1': '5731773385634.035156250000000' 
184
'Out1_2_2': '4553013430961.086914062500000' 
185
'Out4_1_1': '583805.501237167627551' 
186
'Out4_1_2': '841846.540456934948452' 
187
'Out1_2_1': '1916963905123.801025390625000' 
188
'Out1_2_2': '2749448118367.968261718750000' 
189
'Out4_1_1': '506114.569792190799490' 
190
'Out4_1_2': '240286.064007105800556' 
191
'Out1_2_1': '1150147130216.027099609375000' 
192
'Out1_2_2': '2604661047873.088867187500000' 
193
'Out4_1_1': '615113.103298164554872' 
194
'Out4_1_2': '416289.471239101141691' 
195
'Out1_2_1': '2137102411521.911621093750000' 
196
'Out1_2_2': '3459604422219.501953125000000' 
197
'Out4_1_1': '1064610.458175641717389' 
198
'Out4_1_2': '1403235.664613495580852' 
199
'Out1_2_1': '4993987209565.035156250000000' 
200
'Out1_2_2': '10556838752934.810546875000000' 
201
'Out4_1_1': '1253458.301056720316410' 
202
'Out4_1_2': '369278.815216328599490' 
203
'Out1_2_1': '4843293958242.971679687500000' 
204
'Out1_2_2': '2835944617188.116210937500000' 
205
'Out4_1_1': '293294.132765540503897' 
206
'Out4_1_2': '516487.266307072655763' 
207
'Out1_2_1': '332512781405.025146484375000' 
208
'Out1_2_2': '276881387840.314758300781250' 
209
'Out4_1_1': '588889.298731162911281' 
210
'Out4_1_2': '617739.573190566152334' 
211
'Out1_2_1': '3845483576329.246093750000000' 
212
'Out1_2_2': '3506706854127.841308593750000' 
213
'Out4_1_1': '403624.110901955689769' 
214
'Out4_1_2': '359191.564462587644812' 
215
'Out1_2_1': '3057311461108.455078125000000' 
216
'Out1_2_2': '2580105955227.840820312500000' 
217
'Out4_1_1': '120732.666820443744655' 
218
'Out4_1_2': '395045.363998364715371' 
219
'Out1_2_1': '2080125315317.045898437500000' 
220
'Out1_2_2': '3391191816217.367187500000000' 
221
'Out4_1_1': '446452.669350026000757' 
222
'Out4_1_2': '476112.526061338838190' 
223
'Out1_2_1': '2601289163466.898437500000000' 
224
'Out1_2_2': '3092556982513.017578125000000' 
225
'Out4_1_1': '713881.614744463237002' 
226
'Out4_1_2': '853593.838619991554879' 
227
'Out1_2_1': '1923180437886.512451171875000' 
228
'Out1_2_2': '2811638307905.448242187500000' 
229
'Out4_1_1': '540132.047538082231767' 
230
'Out4_1_2': '516686.795669510611333' 
231
'Out1_2_1': '2417479216865.918457031250000' 
232
'Out1_2_2': '1598561721495.720458984375000' 
233
'Out4_1_1': '420471.343215693137608' 
234
'Out4_1_2': '287426.951299455133267' 
235
'Out1_2_1': '802630317007.191406250000000' 
236
'Out1_2_2': '467422281809.848327636718750' 
237
'Out4_1_1': '1575709.845218383474275' 
238
'Out4_1_2': '885704.407527847797610' 
239
'Out1_2_1': '1908273160979.948730468750000' 
240
'Out1_2_2': '2141116472771.786376953125000' 
241
'Out4_1_1': '945920.379964441875927' 
242
'Out4_1_2': '1099628.244343689177185' 
243
'Out1_2_1': '838816539296.110839843750000' 
244
'Out1_2_2': '416613063493.057189941406250' 
245
'Out4_1_1': '1516299.152305036084726' 
246
'Out4_1_2': '1922313.666775538586080' 
247
'Out1_2_1': '897730240805.766723632812500' 
248
'Out1_2_2': '764038185134.954101562500000' 
249
'Out4_1_1': '828927.442871841252781' 
250
'Out4_1_2': '1030180.299594394396991' 
251
'Out1_2_1': '3402036189454.241699218750000' 
252
'Out1_2_2': '3886795520145.105957031250000' 
253
'Out4_1_1': '1243198.267734308261424' 
254
'Out4_1_2': '922345.933207765570842' 
255
'Out1_2_1': '1392781760976.113769531250000' 
256
'Out1_2_2': '1980803966306.757324218750000' 
257
'Out4_1_1': '716126.103033968596719' 
258
'Out4_1_2': '457783.218861210392788' 
259
'Out1_2_1': '1516282759232.456298828125000' 
260
'Out1_2_2': '1779094797361.120605468750000' 
261
'Out4_1_1': '306334.496056018979289' 
262
'Out4_1_2': '192824.761789358017268' 
263
'Out1_2_1': '2239690691872.815429687500000' 
264
'Out1_2_2': '3375029274781.478515625000000' 
265
'Out4_1_1': '395198.888280957471579' 
266
'Out4_1_2': '311468.719614037312567' 
267
'Out1_2_1': '889193855352.673583984375000' 
268
'Out1_2_2': '1376292800086.832519531250000' 
269
'Out4_1_1': '97023.944822058765567' 
270
'Out4_1_2': '162687.557107422006084' 
271
'Out1_2_1': '1887699489737.023437500000000' 
272
'Out1_2_2': '1021174360418.393310546875000' 
273
'Out4_1_1': '1175111.520279259886593' 
274
'Out4_1_2': '470864.287620506249368' 
275
'Out1_2_1': '741250352745.147338867187500' 
276
'Out1_2_2': '417144576083.810546875000000' 
277
'Out4_1_1': '955341.387145187472925' 
278
'Out4_1_2': '1477882.966484106844291' 
279
'Out1_2_1': '1911287308279.235839843750000' 
280
'Out1_2_2': '951299249888.890747070312500' 
281
'Out4_1_1': '1683844.310723587637767' 
282
'Out4_1_2': '1428649.777481901226565' 
283
'Out1_2_1': '331914673582.484252929687500' 
284
'Out1_2_2': '252306837265.943481445312500' 
285
'Out4_1_1': '908010.536888383561745' 
286
'Out4_1_2': '722499.052512565627694' 
287
'Out1_2_1': '4440036654695.174804687500000' 
288
'Out1_2_2': '3994325711764.126953125000000' 
289
'Out4_1_1': '164767.570200739370193' 
290
'Out4_1_2': '211603.765633060131222' 
291
'Out1_2_1': '2087136997372.714355468750000' 
292
'Out1_2_2': '1821063790021.274902343750000' 
293
'Out4_1_1': '190694.371257604827406' 
294
'Out4_1_2': '187340.998859449027805' 
295
'Out1_2_1': '309892477882.983032226562500' 
296
'Out1_2_2': '542667040059.940246582031250' 
297
'Out4_1_1': '764230.657185010961257' 
298
'Out4_1_2': '592132.701071251067333' 
299
'Out1_2_1': '981094701474.128051757812500' 
300
'Out1_2_2': '746500931053.295288085937500' 
301
'Out4_1_1': '704194.644618913531303' 
302
'Out4_1_2': '560170.172231894102879' 
303
'Out1_2_1': '1886432596798.105957031250000' 
304
'Out1_2_2': '1384333208473.050292968750000' 
305
'Out4_1_1': '56438.074913344644301' 
306
'Out4_1_2': '106726.437260412290925' 
307
'Out1_2_1': '3229244274648.504394531250000' 
308
'Out1_2_2': '2152164052130.007568359375000' 
309
'Out4_1_1': '1189808.128051180858165' 
310
'Out4_1_2': '1356186.829732720740139' 
311
'Out1_2_1': '816689254359.037231445312500' 
312
'Out1_2_2': '2442647158536.189453125000000' 
313
'Out4_1_1': '991490.048465625382960' 
314
'Out4_1_2': '484879.865320864657406' 
315
'Out1_2_1': '1979276490160.752197265625000' 
316
'Out1_2_2': '1564785202825.961669921875000' 
317
'Out4_1_1': '809679.851779864635319' 
318
'Out4_1_2': '622014.905441854614764' 
319
'Out1_2_1': '1078488307970.882202148437500' 
320
'Out1_2_2': '1365148160833.034912109375000' 
321
'Out4_1_1': '1136169.078087116824463' 
322
'Out4_1_2': '1135515.018440805608407' 
323
'Out1_2_1': '2002647833514.166992187500000' 
324
'Out1_2_2': '2435171461518.792480468750000' 
325
'Out4_1_1': '757235.190388810937293' 
326
'Out4_1_2': '1036287.868907111696899' 
327
'Out1_2_1': '1874361613798.322998046875000' 
328
'Out1_2_2': '2357762658114.850585937500000' 
329
'Out4_1_1': '497223.696037120942492' 
330
'Out4_1_2': '498681.235027768299915' 
331
'Out1_2_1': '2176759625738.370361328125000' 
332
'Out1_2_2': '5056252339544.361328125000000' 
333
'Out4_1_1': '164235.092822818434797' 
334
'Out4_1_2': '169089.193829518480925' 
335
'Out1_2_1': '744944451434.917846679687500' 
336
'Out1_2_2': '748086638570.616333007812500' 
337
'Out4_1_1': '217546.754885228961939' 
338
'Out4_1_2': '516441.602795147628058' 
339
'Out1_2_1': '3978942073878.123535156250000' 
340
'Out1_2_2': '3085437933976.822265625000000' 
341
'Out4_1_1': '68792.790525654039811' 
342
'Out4_1_2': '153348.393787450680975' 
343
'Out1_2_1': '1886273801162.103759765625000' 
344
'Out1_2_2': '1145640280030.319091796875000' 
345
'Out4_1_1': '537039.824557466548868' 
346
'Out4_1_2': '365543.037502503895666' 
347
'Out1_2_1': '2503209890409.038574218750000' 
348
'Out1_2_2': '1447887321981.615478515625000' 
349
'Out4_1_1': '400607.666065013909247' 
350
'Out4_1_2': '121979.666697540495079' 
351
'Out1_2_1': '1723893237038.932617187500000' 
352
'Out1_2_2': '1866750178550.992431640625000' 
353
'Out4_1_1': '1191583.379567541182041' 
354
'Out4_1_2': '1882462.336603146977723' 
355
'Out1_2_1': '2211964589098.661132812500000' 
356
'Out1_2_2': '2267957552554.890136718750000' 
357
'Out4_1_1': '546328.198344453820027' 
358
'Out4_1_2': '388195.431037514412310' 
359
'Out1_2_1': '4519247675704.454101562500000' 
360
'Out1_2_2': '4863552917992.090820312500000' 
361
'Out4_1_1': '1043984.708652150002308' 
362
'Out4_1_2': '1169851.289966141106561' 
363
'Out1_2_1': '1786838723247.380371093750000' 
364
'Out1_2_2': '1014701948746.924682617187500' 
365
'Out4_1_1': '206783.178511946374783' 
366
'Out4_1_2': '281833.763075038965326' 
367
'Out1_2_1': '1350919305163.911376953125000' 
368
'Out1_2_2': '1897036575062.377929687500000' 
369
'Out4_1_1': '329103.235676240175962' 
370
'Out4_1_2': '326208.674757789471187' 
371
'Out1_2_1': '3097035784262.321777343750000' 
372
'Out1_2_2': '3764960394895.602539062500000' 
373
'Out4_1_1': '511190.148124956176616' 
374
'Out4_1_2': '666313.458476451924071' 
375
'Out1_2_1': '3450547752233.888671875000000' 
376
'Out1_2_2': '2990593396515.448730468750000' 
377
'Out4_1_1': '354013.996039813209791' 
378
'Out4_1_2': '689667.069903737050481' 
379
'Out1_2_1': '1650050657308.509521484375000' 
380
'Out1_2_2': '1742162560997.888427734375000' 
381
'Out4_1_1': '276088.343327373266220' 
382
'Out4_1_2': '328748.263176055916119' 
383
'Out1_2_1': '982829988550.269042968750000' 
384
'Out1_2_2': '337742626996.309997558593750' 
385
'Out4_1_1': '710555.149811581359245' 
386
'Out4_1_2': '1310648.875615981174633' 
387
'Out1_2_1': '855696391965.651000976562500' 
388
'Out1_2_2': '484768288534.908020019531250' 
389
'Out4_1_1': '1096022.396459102863446' 
390
'Out4_1_2': '671964.851837696041912' 
391
'Out1_2_1': '3150047656338.966308593750000' 
392
'Out1_2_2': '2947284748752.242187500000000' 
393
'Out4_1_1': '569375.467090569436550' 
394
'Out4_1_2': '581017.187226420035586' 
395
'Out1_2_1': '1937161346648.024414062500000' 
396
'Out1_2_2': '3039373717477.230468750000000' 
397
'Out4_1_1': '963595.021973171504214' 
398
'Out4_1_2': '391815.575168473180383' 
399
'Out1_2_1': '2895466920807.668945312500000' 
400
'Out1_2_2': '5198730484969.508789062500000'