Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / mpfr / math_2_test_math_2_test_input_values @ b745c1a8

History | View | Annotate | Download (9.42 KB)

1
0.6891147209624758
2
0.6140165624261269
3
0.6150706507863574
4
0.5419303211011263
5
0.7336177408809076
6
0.1246140856414355
7
0.8701701364604953
8
0.8634336379419622
9
0.484634484837248
10
0.29009707631811554
11
0.1543388795212317
12
0.10319906742036788
13
0.20481505031643454
14
0.9271624424420931
15
0.3731841543122666
16
0.053938528069003455
17
0.367111336159219
18
0.46884069197266576
19
0.9828345407598053
20
0.9034485830213386
21
0.21024291261970762
22
0.9687965014746053
23
0.6386031847663064
24
0.609837388074633
25
0.906163595911852
26
0.08686972315845254
27
0.8489774479974928
28
0.4712641536293469
29
0.10298646717659743
30
0.6720979198398289
31
0.9184124780032932
32
0.35848300055720705
33
0.84217763896385
34
0.7713762742023234
35
0.21338331896548235
36
0.43102297102261533
37
0.3654297826196118
38
0.6350742970335386
39
0.3183761723592481
40
0.5416240839711436
41
0.12447864015982624
42
0.5653429171372013
43
0.9619766002315908
44
0.9485891584738747
45
0.3862267720896655
46
0.2585099306791614
47
0.6879383829447321
48
0.40199986495903883
49
0.18589067964924932
50
0.6298751681040765
51
0.12209396110731974
52
0.147284475479583
53
0.022489232459808384
54
0.9773815760553697
55
0.34319328541577765
56
0.8984137566326122
57
0.6138419576244772
58
0.7400520128334644
59
0.3042349716477617
60
0.37304127663372366
61
0.23234864617346052
62
0.03774542385365176
63
0.4705801527523046
64
0.553192056420406
65
0.6281720048522385
66
0.6407008986697709
67
0.8421156338901072
68
0.4376439008970783
69
0.3130476132146168
70
0.01050138021581759
71
0.30895985796802417
72
0.6859343407846776
73
0.025796512509503766
74
0.5785030927866536
75
0.853681795207465
76
0.21896450732538253
77
0.529717305993412
78
0.483441243466171
79
0.4577289421686137
80
0.5374616417887665
81
0.5023865112459153
82
0.5768359209143662
83
0.6957380011650357
84
0.24709988368454938
85
0.1699972989522458
86
0.6229866604226294
87
0.9086274107048755
88
0.037868434616864066
89
0.51121794766681
90
0.26975818110794914
91
0.5348483920722588
92
0.15531550478668865
93
0.30965390490553846
94
0.5470233896462962
95
0.6488968709277261
96
0.22258506491984797
97
0.06934768035384764
98
0.36154473278719
99
0.007165953126613389
100
0.12470277837924004
101
0.8243532581596081
102
0.7002378513713162
103
0.9334447645097963
104
0.5503565482315635
105
0.1712728004340497
106
0.02817671203941019
107
0.18984598473521164
108
0.7014559714877865
109
0.4327454626902548
110
0.6733625585297439
111
0.5736713748957107
112
0.6270442585705059
113
0.7202287847241956
114
0.8271935894828404
115
0.3567005573952835
116
0.6156751499256353
117
0.8060160528751231
118
0.15773634155802774
119
0.84061559381383
120
0.08915649062534692
121
0.13728311078990363
122
0.9323132460101555
123
0.24074972086214397
124
0.48060103527486875
125
0.02906089879391327
126
0.9765858645422958
127
0.830075792135394
128
0.651014330682876
129
0.05838066896078831
130
0.7592263497651605
131
0.7763261053258704
132
0.5011884026245923
133
0.9484410196603495
134
0.3844344869500752
135
0.3873621142899776
136
0.5694590814671197
137
0.7794969971439915
138
0.298971366134389
139
0.5433889301944406
140
0.5709240351297933
141
0.19227334054143008
142
0.07604490145040554
143
0.9393362360493941
144
0.03000732587091992
145
0.36005557661993404
146
0.7252964021502191
147
0.3867036335214665
148
0.38579558300505634
149
0.8972137441691552
150
0.5963016840263655
151
0.8313950911534694
152
0.20836009081557405
153
0.5447657883572892
154
0.09241395631694771
155
0.9325436964698188
156
0.4543175143798992
157
0.4276886988694192
158
0.09244000061745794
159
0.017054643842728034
160
0.01117221857155859
161
0.9140372390398018
162
0.18955518503836088
163
0.9755704809685037
164
0.1325205130805589
165
0.6225316579510716
166
0.6000268225627109
167
0.19778999670457587
168
0.749988280116068
169
0.9231272426064726
170
0.8687296150972104
171
0.9585476475035084
172
0.06281042880860443
173
0.35418044452460506
174
0.30410076842206646
175
0.7607881418660188
176
0.2522512496191013
177
0.7401773080587588
178
0.4120966674959733
179
0.017546261772620086
180
0.6456031422317853
181
0.4355920480614761
182
0.46687690209517807
183
0.11226950337847175
184
0.16329004366582922
185
0.0432950691590247
186
0.755355376594722
187
0.3152969112757743
188
0.42264159201852514
189
0.16003075609087125
190
0.9634227761785379
191
0.25403466078408166
192
0.44319253918774437
193
0.1868379314569888
194
0.6335581855677429
195
0.6353450076261626
196
0.5009011698692768
197
0.008886263411764128
198
0.6167118791167016
199
0.7008922601480908
200
0.31246989803884706
201
0.3970545965969142
202
0.9657556267978242
203
0.45966551369726927
204
0.3959895741139545
205
0.31267773437113777
206
0.7734606931321488
207
0.08662476331698277
208
0.1504187600353043
209
0.90724068718823
210
0.04487752236069231
211
0.0023935619637113215
212
0.9239478867222048
213
0.9004001104089311
214
0.8121558865679918
215
0.05614779581777718
216
0.10008745276979991
217
0.19256487806148814
218
0.34925740145980777
219
0.9223268231714398
220
0.020358480007995117
221
0.022369033301356422
222
0.5246774527473008
223
0.2915197516087985
224
0.3837523255335986
225
0.7147216603347929
226
0.04220625425173907
227
0.6868562779596908
228
0.615666361413085
229
0.08172051984095097
230
0.5629245350500965
231
0.7694577503734098
232
0.5828106760325048
233
0.8365669280457755
234
0.4760417303264586
235
0.8099813474277943
236
0.9456203002583412
237
0.9597216615274653
238
0.39184978756468014
239
0.5980160169711705
240
0.3859965336919333
241
0.8168928490503736
242
0.26697929616355054
243
0.4370658639058743
244
0.9257396668446277
245
0.9700485669643366
246
0.4403086757382245
247
0.03008336733377559
248
0.5598251796414069
249
0.045498127987103065
250
0.7572913927734484
251
0.9989908304719662
252
0.46871343955093736
253
0.7271880067993642
254
0.39113009537452026
255
0.5013555649464319
256
0.1451732259672387
257
0.9287097877319552
258
0.9311408172720506
259
0.9083606069367811
260
0.8736376306864649
261
0.46411861382588604
262
0.8018142152148993
263
0.7904392098502863
264
0.13389997786152552
265
0.08551307633150651
266
0.10049489858905336
267
0.5204184335857363
268
0.6659973259739674
269
0.5844282545452673
270
0.4972643014298398
271
0.6487429913617867
272
0.12941662558472744
273
0.7644453799702146
274
0.927526221671771
275
0.8313277292338066
276
0.5172995660693674
277
0.48402371537964217
278
0.4259582280916018
279
0.4978131080056224
280
0.7451094145530511
281
0.6414105924972938
282
0.599906641748138
283
0.636475365455462
284
0.12326346616062289
285
0.927588790844498
286
0.9209662754932003
287
0.04176848469144845
288
0.7445231989068842
289
0.40857012754295075
290
0.2254005143740152
291
0.12145307787375959
292
0.16947352637933788
293
0.5149473564542961
294
0.5572214195729686
295
0.8924924490700099
296
0.17721129590349782
297
0.8144669119906626
298
0.7621634283430794
299
0.10837358144930642
300
0.763402745134973
301
0.02248720819691785
302
0.046448230022278825
303
0.555237145299381
304
0.014158202952457288
305
0.06553842017540767
306
0.05115289617564056
307
0.4301770365631018
308
0.9617115551603567
309
0.6548014227134813
310
0.8611567367978652
311
0.3722965350436509
312
0.03668131070379643
313
0.7491751993332432
314
0.7670570433955054
315
0.15558488731938935
316
0.27172878459642347
317
0.4917031764815083
318
0.529107539078509
319
0.2724046886178668
320
0.982717972841718
321
0.6884811170354896
322
0.3541475799478797
323
0.637356651807304
324
0.2560212813030689
325
0.6657702789490922
326
0.7896542556172098
327
0.4235153874649161
328
0.20440377542123278
329
0.3888913266475025
330
0.2634633855400692
331
0.6065062163608654
332
0.6189577843258577
333
0.055575901810424044
334
0.053369776793117385
335
0.1366192118869386
336
0.34084895499636825
337
0.9868045764260623
338
0.05773089540042542
339
0.7851340405705491
340
0.4041739414757981
341
0.5297613346872365
342
0.8563623502591236
343
0.6182546940104959
344
0.7600184880023918
345
0.8603858657459437
346
0.20042755118207034
347
0.7405310725773477
348
0.18184442203036477
349
0.02710761448497323
350
0.2506879679399696
351
0.41936932992847586
352
0.7736226292773271
353
0.3126957089912453
354
0.5953945705620706
355
0.9532111017775193
356
0.35466830080666656
357
0.007761627720242248
358
0.32226504902386244
359
0.678187068250864
360
0.8789239064729466
361
0.9873023756804902
362
0.19340530771317788
363
0.3215274453264806
364
0.9614741767050052
365
0.06077345113197474
366
0.27769804316465174
367
0.5047384489869703
368
0.5313668043481358
369
0.9265332705035328
370
0.23209534644009522
371
0.5755303900962402
372
0.6073511200173306
373
0.7031008651489771
374
0.7914157175695608
375
0.10470942139537598
376
0.20193658527906666
377
0.4325217845863756
378
0.9256608291253854
379
0.32272171115792336
380
0.39921174023548744
381
0.6552374553490076
382
0.5545307596401027
383
0.49026545430844204
384
0.7231532043075944
385
0.14120561029858092
386
0.6707308280008537
387
0.6983622488595262
388
0.015693714522918345
389
0.12862049725238478
390
0.216826898425433
391
0.8755067813031322
392
0.17760690662334722
393
0.9694332905036352
394
0.0848206120668108
395
0.8429890667361294
396
0.29030582271555816
397
0.909974883123071
398
0.1632795283552554
399
0.10421149108253869
400
0.832941294437566
401
0.8453345102792116
402
0.4437714746140137
403
0.6797982840814165
404
0.9367249109719713
405
0.27774926376849274
406
0.8165164780957879
407
0.7075222234834753
408
0.8771908758272626
409
0.3821112521849769
410
0.3345837437026954
411
0.7145499042520519
412
0.295150060906465
413
0.03580082047323341
414
0.4066248111383596
415
0.439233129320464
416
0.9583782790107218
417
0.9054052709508255
418
0.5900490503354123
419
0.8306509187982782
420
0.2286200361479428
421
0.19948480280496061
422
0.39971015940311216
423
0.38633308544947786
424
0.782278435205559
425
0.494398554177768
426
0.8215882755124425
427
0.3020727179196443
428
0.5482003353122948
429
0.11930500155856116
430
0.026614647830730975
431
0.0024616071949281615
432
0.27225535311461635
433
0.9468031264446108
434
0.11670112424659773
435
0.496759422615351
436
0.5959463182118618
437
0.0772816725564559
438
0.603199933596421
439
0.6619334718750008
440
0.045077797263687214
441
0.8278959767935634
442
0.7174339637930154
443
0.9931830572694167
444
0.8645481903973838
445
0.6411928198007489
446
0.5836012912591839
447
0.5819885328217332
448
0.20662039475660554
449
0.013755876769840025
450
0.7462718965225373
451
0.08270199177563597
452
0.7825645587251324
453
0.3118454505527297
454
0.5378591408207397
455
0.21092290899429023
456
0.7213561175932408
457
0.38885801054942815
458
0.2958613098134705
459
0.8803788476140132
460
0.044150603814957945
461
0.24853265868131835
462
0.49533435978908225
463
0.4297576496022195
464
0.8595466278630308
465
0.6081827596469932
466
0.4489693725792341
467
0.516914170323776
468
0.11218694879259761
469
0.10783321591119832
470
0.3453134856483697
471
0.16510137921211165
472
0.47603650001481945
473
0.0839948990142182
474
0.04508657924565962
475
0.13435195102594144
476
0.7737159481848135
477
0.28090949005932386
478
0.23621006787375187
479
0.26086297060037955
480
0.12455777026272963
481
0.6074495544711316
482
0.2600785351239643
483
0.658213515507376
484
0.8765911261834158
485
0.06446028793415992
486
0.16476855156431824
487
0.7064705347587464
488
0.26145105829683435
489
0.2651808281034316
490
0.31529341926929133
491
0.5687158411675819
492
0.6262463167833886
493
0.5504846431520168
494
0.1966767357659308
495
0.569253125492445
496
0.042709271774102886
497
0.5610299705595825
498
0.8825311027040024
499
0.14373054466866786
500
0.07149065969426505