Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetWaitOut / input_values @ eb639349

History | View | Annotate | Download (11.8 KB)

1
48.5230456949770073
2
84.2344701828773026
3
46.4798012873765884
4
5.4539673909797077
5
38.0000000000000000
6
68.0000000000000000
7
83.8226076700295408
8
49.9725973621344508
9
13.1252551596790390
10
50.0400775515181166
11
67.0000000000000000
12
86.0000000000000000
13
14.1056968599460149
14
43.9024887659213903
15
88.6391470888295032
16
43.2763214528361075
17
80.0000000000000000
18
50.0000000000000000
19
73.2216987411749898
20
14.9057083245688116
21
67.4557425628766936
22
90.4282491633212118
23
34.0000000000000000
24
5.0000000000000000
25
69.1066915983426782
26
2.8279450895792868
27
83.5159638023036024
28
63.0183351426677589
29
70.0000000000000000
30
32.0000000000000000
31
3.4492619784632583
32
75.6669787984347693
33
65.6487934875432160
34
98.3036222076955966
35
21.0000000000000000
36
65.0000000000000000
37
48.8857263608459931
38
79.6106235942840215
39
98.3916976496475257
40
58.5200339522546926
41
96.0000000000000000
42
79.0000000000000000
43
97.1390410156508892
44
29.3555594417440382
45
97.9789871891284747
46
84.0636517595248876
47
72.0000000000000000
48
29.0000000000000000
49
11.2451379350698044
50
11.5206746018030941
51
25.0153013597978813
52
46.8813780579662733
53
17.0000000000000000
54
50.0000000000000000
55
74.3213774200817312
56
37.5091630987986235
57
62.4570703542190344
58
54.5222329693840777
59
45.0000000000000000
60
82.0000000000000000
61
63.8541371339420820
62
82.8893745056770257
63
72.8242423153537715
64
17.9104120941579801
65
64.0000000000000000
66
60.0000000000000000
67
59.4182912969943331
68
84.1776581954761269
69
49.8170315267308368
70
63.4461696770440611
71
93.0000000000000000
72
54.0000000000000000
73
49.8622512736250059
74
66.5238451557798669
75
84.9828294959273762
76
96.2958775368380344
77
53.0000000000000000
78
34.0000000000000000
79
56.7852659287788128
80
96.0139975886254149
81
19.0918203621886953
82
53.4013751451731054
83
63.0000000000000000
84
42.0000000000000000
85
42.6504251336354514
86
94.3117892210703133
87
12.4143787222168118
88
47.9614252288398148
89
69.0000000000000000
90
80.0000000000000000
91
7.6239442353829956
92
11.2699492380727513
93
0.2790421329111892
94
79.3666083025936047
95
93.0000000000000000
96
35.0000000000000000
97
29.0586653457928783
98
64.8287449225585704
99
15.2952789981843136
100
9.2713718864294812
101
16.0000000000000000
102
47.0000000000000000
103
56.1335047322794480
104
48.0804051679439510
105
53.4160824643418195
106
88.0799542861342246
107
41.0000000000000000
108
37.0000000000000000
109
63.3333468321720119
110
6.6520691949122357
111
51.0633605136478295
112
0.3873535513487236
113
32.0000000000000000
114
68.0000000000000000
115
93.0775859048123380
116
89.7771225532002433
117
38.5215879879769574
118
51.1529092199425861
119
70.0000000000000000
120
57.0000000000000000
121
97.7769157702233827
122
49.7230128936991278
123
31.0596453716412739
124
67.8463634320795990
125
90.0000000000000000
126
66.0000000000000000
127
9.3596546005953680
128
77.1303428858630724
129
0.3555447453210347
130
56.5747646843947507
131
50.0000000000000000
132
50.0000000000000000
133
66.1734944417943325
134
6.0362229423969183
135
81.5242445313671169
136
47.8458646745197029
137
81.0000000000000000
138
40.0000000000000000
139
60.2772899485438742
140
26.2457464904028761
141
63.8418458166358249
142
32.0512844148038596
143
33.0000000000000000
144
48.0000000000000000
145
47.3817863220926654
146
65.1069368702478926
147
44.8339380701919481
148
60.1579798458234833
149
55.0000000000000000
150
7.0000000000000000
151
35.6256342496276659
152
13.3603910449774048
153
24.4085770261907484
154
91.3152742372501933
155
39.0000000000000000
156
42.0000000000000000
157
47.5578441633220521
158
63.8545736824786090
159
80.3385085996905133
160
68.2517816717109582
161
90.0000000000000000
162
97.0000000000000000
163
67.1022018283348132
164
38.4943094967873947
165
82.3970887228072257
166
94.6733471115375522
167
68.0000000000000000
168
79.0000000000000000
169
95.9645196993795082
170
76.5698125674700236
171
85.2190649398636282
172
9.9089008637665117
173
83.0000000000000000
174
73.0000000000000000
175
8.9084265506410354
176
65.2915682156135659
177
46.7251755433502609
178
51.1028924158354414
179
12.0000000000000000
180
77.0000000000000000
181
79.7742459847051322
182
38.1489065282516435
183
97.0698973176120177
184
11.0128340182810369
185
28.0000000000000000
186
76.0000000000000000
187
59.0775746140886469
188
30.0018582740437800
189
84.1244015022288636
190
54.5261877330556857
191
77.0000000000000000
192
85.0000000000000000
193
91.2196754252076403
194
34.0139555506766698
195
7.8548206354512651
196
68.8785898972834332
197
22.0000000000000000
198
78.0000000000000000
199
10.1129318887618886
200
91.8926536712416748
201
23.7598887672086718
202
14.7416988338170523
203
4.0000000000000000
204
98.0000000000000000
205
29.3294642967131374
206
45.6266813303239118
207
81.7570881268702720
208
77.7561037608019490
209
44.0000000000000000
210
12.0000000000000000
211
5.1588205383933712
212
44.2496952598123059
213
40.5828714806259256
214
39.9051233106780003
215
94.0000000000000000
216
40.0000000000000000
217
50.4128180597836675
218
45.4185819615522277
219
46.6312220637624222
220
89.8299948178676999
221
27.0000000000000000
222
50.0000000000000000
223
76.8375751898677493
224
94.5282009186639556
225
95.1536218081584906
226
30.7043873925569741
227
57.0000000000000000
228
26.0000000000000000
229
28.2985376214108690
230
21.9118952550174768
231
96.5005305843558432
232
6.1051146235718949
233
36.0000000000000000
234
4.0000000000000000
235
22.5360245794357219
236
88.2402795931733834
237
76.5284866775821371
238
21.9471144449904223
239
3.0000000000000000
240
98.0000000000000000
241
33.1289642625589238
242
1.9875422824709443
243
57.4533590173997197
244
8.2832937032406129
245
51.0000000000000000
246
73.0000000000000000
247
45.3251351408242797
248
34.1764883237310215
249
91.5925025450221426
250
95.0395335131905625
251
83.0000000000000000
252
15.0000000000000000
253
73.7384638181300289
254
76.6027445694415121
255
49.5432408790359773
256
1.6370660856685260
257
26.0000000000000000
258
15.0000000000000000
259
50.9885654703147253
260
34.2803701519392874
261
16.6012377080292914
262
11.4668433182841376
263
5.0000000000000000
264
71.0000000000000000
265
38.2514191853397278
266
61.8806404154404817
267
32.5997669971673645
268
1.2409945969496738
269
25.0000000000000000
270
39.0000000000000000
271
90.5483216847226942
272
45.3021162091895704
273
29.6436106009725577
274
21.6227329276231544
275
67.0000000000000000
276
8.0000000000000000
277
96.5257748969726634
278
1.0162602627914241
279
55.8298491530906134
280
1.1427528814081045
281
33.0000000000000000
282
42.0000000000000000
283
62.8267352552455023
284
59.9081167470487088
285
6.7476803051090055
286
64.2449265580089985
287
66.0000000000000000
288
15.0000000000000000
289
13.2031170054906610
290
60.1568348358472207
291
6.8977846210858340
292
51.6990939531607765
293
2.0000000000000000
294
80.0000000000000000
295
61.8301778328653739
296
64.9417450961366143
297
16.6784582313363146
298
24.5542144387298151
299
72.0000000000000000
300
94.0000000000000000
301
38.3020104064703091
302
34.2720632582220759
303
94.7438262628721759
304
19.3747340053374018
305
40.0000000000000000
306
1.0000000000000000
307
99.1193747568798926
308
49.3299255574884725
309
81.1088417621081703
310
9.0870578148020797
311
4.0000000000000000
312
66.0000000000000000
313
28.6827284759212269
314
70.1773945253530371
315
71.0455692980488038
316
36.8441665384022699
317
41.0000000000000000
318
68.0000000000000000
319
70.6191429589364077
320
88.7802601429490039
321
97.0245561677518111
322
0.7792910637474337
323
72.0000000000000000
324
26.0000000000000000
325
53.5205897505445094
326
5.5057846156184587
327
99.8426789341871057
328
60.2701319215812461
329
93.0000000000000000
330
85.0000000000000000
331
19.3211038592100657
332
9.8361950545730377
333
98.7454806749041722
334
47.8854744051061445
335
99.0000000000000000
336
30.0000000000000000
337
68.9435100924170712
338
64.9782785472761759
339
15.0086578018890577
340
30.8117688829787966
341
99.0000000000000000
342
3.0000000000000000
343
5.0455003168672903
344
76.4070891236327299
345
95.8478804453121569
346
74.4444447627628705
347
90.0000000000000000
348
10.0000000000000000
349
18.4434115699354209
350
98.7958941597840408
351
53.0459049234420306
352
83.9349277568774852
353
87.0000000000000000
354
80.0000000000000000
355
4.5658323477382856
356
12.5324791415593282
357
7.4086517389916118
358
26.2431920229879267
359
81.0000000000000000
360
72.0000000000000000
361
88.5041502041251249
362
36.4477175202600137
363
31.1820903915725793
364
51.4238061322073037
365
56.0000000000000000
366
79.0000000000000000
367
83.9794385798113581
368
67.6230090282252831
369
89.5170779995606409
370
44.6774127592600081
371
42.0000000000000000
372
63.0000000000000000
373
11.8155245153682031
374
37.5758171217491537
375
83.4768311582721765
376
34.1211145567737759
377
13.0000000000000000
378
83.0000000000000000
379
41.0414853697836932
380
86.3458491467109042
381
0.2348755679748793
382
83.9141805139885832
383
66.0000000000000000
384
4.0000000000000000
385
12.0228589990649777
386
29.1976750986029501
387
64.0209846164909777
388
98.2492501505978311
389
87.0000000000000000
390
41.0000000000000000
391
57.2092522260723158
392
13.3474990584296567
393
80.3182575087435140
394
62.6464501073331874
395
28.0000000000000000
396
25.0000000000000000
397
94.9390134629151987
398
67.2650514427429300
399
24.5130755184196687
400
18.1275170605328491
401
85.0000000000000000
402
49.0000000000000000
403
25.6385159796879805
404
20.2584980871926561
405
6.4122231765892597
406
12.3017016857453356
407
8.0000000000000000
408
89.0000000000000000
409
98.9865435151316433
410
86.8515198201091749
411
26.3148319353775904
412
57.9968709639967486
413
38.0000000000000000
414
29.0000000000000000
415
34.9808041044371265
416
75.1157321899609371
417
10.2720361262891746
418
32.8535803427897477
419
27.0000000000000000
420
60.0000000000000000
421
20.8522373893430100
422
41.9379649992969092
423
48.3719024833911035
424
26.8186372667859700
425
16.0000000000000000
426
3.0000000000000000
427
66.5827160044803037
428
0.0231065199416736
429
41.8884462651219707
430
55.0239103808507153
431
64.0000000000000000
432
16.0000000000000000
433
97.3344706720870079
434
14.9463732367703379
435
38.1289008027337246
436
18.0516896172901795
437
32.0000000000000000
438
84.0000000000000000
439
62.2699821538517995
440
27.3834301544268364
441
88.6765115012406966
442
67.8491869414881990
443
96.0000000000000000
444
20.0000000000000000
445
6.3537892557368636
446
87.2425018962879761
447
42.0557514837392361
448
5.5688490256819883
449
50.0000000000000000
450
83.0000000000000000
451
37.3509533241305292
452
60.1251143911812136
453
28.3847869017150529
454
3.4057184481215419
455
74.0000000000000000
456
34.0000000000000000
457
16.6251535436548252
458
32.1188452831264968
459
4.8181144010702841
460
28.6518454768012738
461
2.0000000000000000
462
68.0000000000000000
463
23.1278078105778384
464
28.4293074456312240
465
21.9165982554381920
466
7.7390047032925509
467
61.0000000000000000
468
6.0000000000000000
469
5.2208633293852174
470
43.5315805784207228
471
23.9176014086979976
472
90.0572290255527861
473
58.0000000000000000
474
74.0000000000000000
475
90.1756316713513684
476
90.3759051181980908
477
2.9258487037229997
478
84.6605947069211169
479
81.0000000000000000
480
50.0000000000000000
481
79.3291699901325700
482
92.5105644987009441
483
70.2310918358636513
484
39.5698472582127891
485
66.0000000000000000
486
95.0000000000000000
487
37.3014324844645344
488
50.5292452205831211
489
0.7635554772395969
490
16.9215265314684231
491
88.0000000000000000
492
29.0000000000000000
493
83.2054705376541790
494
62.7581809270029964
495
61.0920680279354329
496
43.0452313332459795
497
91.0000000000000000
498
38.0000000000000000
499
75.3834556589773257
500
71.9263926822410440
501
40.8089537451172149
502
41.6218136882809944
503
16.0000000000000000
504
12.0000000000000000
505
62.1863097261786351
506
2.3912881359655191
507
24.8946674813355848
508
72.8763483255897171
509
20.0000000000000000
510
97.0000000000000000
511
39.4093180849150713
512
57.4932501996899816
513
65.2459724145900850
514
40.6473678914791350
515
80.0000000000000000
516
44.0000000000000000
517
35.9277961450211976
518
4.6534464064038268
519
32.0277088369961618
520
95.1807457052550490
521
7.0000000000000000
522
9.0000000000000000
523
8.8852460892282501
524
42.2531388268482786
525
10.3672124495834854
526
91.1985020914832347
527
39.0000000000000000
528
72.0000000000000000
529
34.1677003639647268
530
46.7734261291993363
531
53.5564894512648451
532
95.1414316510759761
533
30.0000000000000000
534
51.0000000000000000
535
54.8670594067366437
536
2.2627986755906715
537
16.4870242477033528
538
34.6001202788864575
539
74.0000000000000000
540
33.0000000000000000
541
46.0547461088785965
542
6.5074042464646320
543
88.3438702353724068
544
29.0244208783556381
545
11.0000000000000000
546
76.0000000000000000
547
64.5452373435590090
548
92.3956335725143845
549
66.6457012048092849
550
88.6700762839574992
551
80.0000000000000000
552
84.0000000000000000
553
51.3520841267514427
554
53.4142863944270161
555
84.7742491914358567
556
21.0030796707027960
557
79.0000000000000000
558
26.0000000000000000
559
81.4426468563277979
560
36.6796468997375413
561
76.2661063721126595
562
13.0876547760117923
563
54.0000000000000000
564
54.0000000000000000
565
9.7183205986996590
566
36.3946179540744339
567
80.7013774619851176
568
52.0515887325232995
569
26.0000000000000000
570
44.0000000000000000
571
46.3713560645511151
572
15.1373665826451180
573
63.2952443655251287
574
90.5462749730803580
575
8.0000000000000000
576
16.0000000000000000
577
58.9817489604743130
578
14.9608598632665739
579
71.0427307863707824
580
40.2530235597016386
581
63.0000000000000000
582
61.0000000000000000
583
18.7172070539838629
584
35.0802091637143718
585
68.8663539117781056
586
21.5761252172513061
587
3.0000000000000000
588
94.0000000000000000
589
61.1330146637951515
590
33.5966095668561309
591
32.0947861137130701
592
7.8739483246634716
593
7.0000000000000000
594
11.0000000000000000
595
5.1941981368346042
596
78.4027846268716075
597
53.1648494500774262
598
93.3059861765135423
599
13.0000000000000000
600
90.0000000000000000
601
57.5726948453721263
602
48.6739211626017507
603
87.3193957609839373
604
60.2871560972297189
605
46.0000000000000000
606
56.0000000000000000