Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / linear_ctl / ex8sat_input_values @ 01b56d34

History | View | Annotate | Download (3.79 KB)

1
0.03214397563158422
2
0.7551535030981678
3
0.380266697001443
4
0.48615922190918903
5
0.2012504268520927
6
0.28211865947706405
7
0.07400621847553557
8
0.1521222228452368
9
0.7592393087302717
10
0.4894143944908843
11
0.5103339736385589
12
0.9292056220814991
13
0.8508698371213693
14
0.8729880694956962
15
0.42915576241588227
16
0.8584006212453993
17
0.6046047348000109
18
0.37938115382525917
19
0.8939829745948947
20
0.8643455018261483
21
0.9022737398405904
22
0.2467289202752586
23
0.7434548542765974
24
0.7493331433361403
25
0.5968736204351703
26
0.12907851751837618
27
0.08671524971516364
28
0.060130112486344145
29
0.7725290849474027
30
0.5797398332676198
31
0.6207508767840039
32
0.48193413657522566
33
0.8291158520802123
34
0.2594220599637824
35
0.5018993365859286
36
0.09446202429977313
37
0.14377381582624738
38
0.5561982579434601
39
0.7390863497829462
40
0.03707317023972301
41
0.8125145245594949
42
0.6568794512665938
43
0.5929541090521194
44
0.8729982218184577
45
0.5073537935685318
46
0.49316815849013174
47
0.2628932072362056
48
0.21715680949013538
49
0.7978772451312993
50
0.40100128786452394
51
0.22309298264066257
52
0.9977117865913522
53
0.38087238506843435
54
0.7777805268306446
55
0.9290761903869966
56
0.05842192326169082
57
0.537638146894928
58
0.49972788835256887
59
0.2577855671149991
60
0.677018660941571
61
0.7958089522068622
62
0.3703930192866103
63
0.9671417033018087
64
0.9742472228430002
65
0.21100684321546126
66
0.4113780631241748
67
0.6650927640631151
68
0.11887548375594992
69
0.9033623638920882
70
0.3776345857995843
71
0.26352833172453605
72
0.6958891207799776
73
0.48492057345720974
74
0.4822264960157838
75
0.6590316240713772
76
0.5982548803601226
77
0.796175924671778
78
0.9492418733213767
79
0.43029505108419086
80
0.3270480630728527
81
0.9334558983503192
82
0.6785754857972622
83
0.6711263860698892
84
0.6404045475741026
85
0.8935998044320299
86
0.0025931307267409442
87
0.6883240621946236
88
0.07867169997565204
89
0.28835606862169727
90
0.24222776765149312
91
0.18530166322437902
92
0.011296165844264183
93
0.48814744485452854
94
0.5288464341119147
95
0.7251935130787454
96
0.5004012793339747
97
0.2433304624676218
98
0.14826645305828146
99
0.7212741756085858
100
0.45667050189845515
101
0.30080196009220606
102
0.4845877884690669
103
0.9378772317201874
104
0.27506708387805845
105
0.7847819696300377
106
0.49404816002534113
107
0.5015992846048006
108
0.3810850541950985
109
0.14282888067464294
110
0.5228960214576743
111
0.7204272720672804
112
0.8926396614854101
113
0.2716192466451265
114
0.19831600538086414
115
0.5875286622113082
116
0.9083703438426974
117
0.03175160828089041
118
0.06773030093436294
119
0.7067955412755169
120
0.7700427666875426
121
0.7368093857500292
122
0.6393383597070842
123
0.5188350745328967
124
0.014901002094923177
125
0.3591455951148197
126
0.4855467672791429
127
0.12895092891157012
128
0.6332343973566462
129
0.13332764634482352
130
0.1109797311555355
131
0.7427608436011844
132
0.6770883903970516
133
0.9579076825759056
134
0.35805019413596206
135
0.7004481539509698
136
0.22796218012286074
137
0.49716046949846937
138
0.22561004380186434
139
0.3672459444491888
140
0.22450024098725474
141
0.16665678432390196
142
0.10998745917814479
143
0.6856042660047663
144
0.675599153181849
145
0.25001792520692645
146
0.6427585203187024
147
0.02359235374094737
148
0.34001432969999357
149
0.23892214726464256
150
0.49588850754864755
151
0.0644396499066372
152
0.04046668433108047
153
0.11441180544157492
154
0.7524185910866535
155
0.8737204653195891
156
0.3984118999430205
157
0.6947753979071655
158
0.6996614629258257
159
0.953539164621962
160
0.9250501631125887
161
0.3637558628734311
162
0.19190958503648536
163
0.04717413682059901
164
0.084817395009818
165
0.46256294289552125
166
0.05094788923960758
167
0.6929901091481269
168
0.15951406333958185
169
0.38014407303516506
170
0.32520228744424995
171
0.043030562693285423
172
0.48439049337046514
173
0.9083943276684355
174
0.6121447313289027
175
0.25955296674255013
176
0.9019227673933119
177
0.7424634868616332
178
0.06361366548700975
179
0.8818711577975825
180
0.08467693704753299
181
0.10104354673327898
182
0.13999881090526822
183
0.9162214636854987
184
0.7155729513554538
185
0.31749788664706236
186
0.6567777201210228
187
0.04296959476513307
188
0.3820243935891614
189
0.9099189467604195
190
0.17568045826772427
191
0.2583278864636056
192
0.4398441384292412
193
0.07667814925792571
194
0.3327984877963799
195
0.47185357417255613
196
0.03346922334772695
197
0.7837584105106048
198
0.26724225299129234
199
0.06635018613057675
200
0.9209736891011863