Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Junctions5 / Junctions5_Junctions5_input_values @ 79ef5fc5

History | View | Annotate | Download (1.78 KB)

1
37.329131274618874
2
8.740012370131268
3
41.83118964814073
4
77.91961296402961
5
84.54983414540526
6
88.47010821407977
7
53.27856858784058
8
30.69322854669614
9
21.80653559915965
10
83.64945775783141
11
90.49553392271673
12
59.74786971434426
13
36.006750851261856
14
92.7141950577443
15
98.30454136565444
16
78.22530557370018
17
8.095435418902397
18
33.84433616719774
19
84.85073780714947
20
73.58062986758276
21
94.29557042943537
22
19.873975980923262
23
76.07372769592926
24
43.567352238646784
25
45.12655996200468
26
11.052720043511643
27
43.6275923267256
28
71.87941167498137
29
10.128276249375057
30
73.39571256050105
31
26.491526346405557
32
89.20512062620443
33
65.37879054047175
34
82.17614638569465
35
57.236000858669854
36
41.32696228923005
37
18.178940968627366
38
75.05546547834058
39
72.75711046515266
40
64.9050260247177
41
88.68707183825877
42
77.41289772210541
43
36.26437715087779
44
53.71084516146124
45
41.82242851563963
46
93.62741007846265
47
22.40492952730039
48
83.33223084585606
49
44.41582199863968
50
82.38149489742634
51
20.629673938331916
52
50.748665669737726
53
52.371404964943714
54
11.49769173310473
55
93.25467381208186
56
76.68067973269237
57
90.51344204616318
58
18.385084953970733
59
84.14367296050544
60
13.245574769606716
61
73.82725530101405
62
85.86447542999018
63
11.535294401795005
64
97.20573104844834
65
32.963546412670134
66
79.95730494525829
67
94.26115265442498
68
89.97467741877048
69
49.16054516287467
70
86.1648041325328
71
54.44873018134724
72
49.54998858742235
73
74.14856204135094
74
23.830286338738016
75
11.775574012450885
76
86.67096246964039
77
9.136647662549557
78
14.368876366882255
79
34.43895643667489
80
67.75299136632425
81
43.64129176128495
82
28.465372649867916
83
40.227895664040446
84
40.52938152688294
85
9.702155742979357
86
39.78238664479965
87
47.431973003089034
88
74.8353422407325
89
89.94008717126603
90
68.28723508099816
91
59.79415345514606
92
30.597712090176298
93
28.94772177518251
94
4.997557802719976
95
32.312377109219646
96
87.84794885111744
97
36.663246841924504
98
71.76196700290565
99
5.417422290036111
100
99.45480342202127