Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.95 KB)

1 4ce7401e bourbouh
1
2
0.881698032090057
3
0.8594489855204956
4
1
5
0.9207332126395246
6
0.8903218155096906
7
0
8
0.4143469483460568
9
0.8075480503714169
10
0
11
0.28393236302883573
12
0.5815756505930694
13
0
14
0.7788779090588642
15
0.22995626224850174
16
1
17
0.13052346194900533
18
0.9841074198929434
19
1
20
0.7244662920290365
21
0.7567248410694337
22
1
23
0.3692518719437312
24
0.40068058105846194
25
1
26
0.6195328297896843
27
0.20571047963787648
28
0
29
0.6827120453676774
30
0.4119524619109557
31
1
32
0.636794682054691
33
0.6505550496498607
34
1
35
0.3785142673276871
36
0.5433143718421214
37
0
38
0.9968657441688424
39
0.36152583318893183
40
0
41
0.48716297784149687
42
0.6184888195404551
43
0
44
0.2617411915819762
45
0.9296497542932863
46
0
47
0.49492829934132554
48
0.11387412795249707
49
0
50
0.7905724001671885
51
0.25705321241688184
52
1
53
0.12862299804434207
54
0.9713680649614744
55
0
56
0.4585348977444378
57
0.6436958691268667
58
0
59
0.6599712575771981
60
0.23352606285983257
61
1
62
0.10803964552938683
63
0.3294759741305374
64
1
65
0.2181482148488607
66
0.8897554401251176
67
0
68
0.7609505948533662
69
0.6570685463108242
70
0
71
0.10294748967455469
72
0.2486766823462504
73
0
74
0.5149388911515033
75
0.4937147492170736
76
0
77
0.2890081675534928
78
0.5984164379993552
79
1
80
0.8889488902587929
81
0.5348793094212355
82
0
83
0.3522874512230335
84
0.12255168651784476
85
1
86
0.8509859984372247
87
0.17954636630059662
88
0
89
0.5251847564417341
90
0.8409257825408841
91
0
92
0.4331259259478569
93
0.6852414414047482
94
0
95
0.24404029734000876
96
0.19112406769184576
97
0
98
0.678946206691272
99
0.4355730659689888
100
1
101
0.18886498094437199
102
0.0054662440970716375
103
0
104
0.5115332277341247
105
0.08724517579022717
106
1
107
0.6031118335466629
108
0.12854639420361935
109
1
110
0.6185036626804582
111
0.16621591984225614
112
0
113
0.7168157427751846
114
0.9146625751685982
115
0
116
0.4487531242322561
117
0.04825986692915396
118
0
119
0.7300780508292618
120
0.6163243155686128
121
1
122
0.14814679878878645
123
0.09941930619688177
124
0
125
0.3664514307311927
126
0.14070125436398884
127
1
128
0.0309177880026551
129
0.06985003104341792
130
1
131
0.7459042588564555
132
0.6738208658083898
133
1
134
0.9851254279516537
135
0.28473818900206715
136
1
137
0.1211140354077419
138
0.21553654747718964
139
0
140
0.37908772275051605
141
0.3605648625282355
142
0
143
0.8467804584819967
144
0.29252963724823056
145
1
146
0.5838225636388756
147
0.6347551329372279
148
0
149
0.4990562934209799
150
0.8033125108949626
151
1
152
0.45412789674718657
153
0.5085200516927706
154
1
155
0.9228381236624558
156
0.15825195458232622
157
0
158
0.2251836538390285
159
0.6037873290975081
160
1
161
0.46845285345407073
162
0.5314081253114789
163
0
164
0.17163164939886555
165
0.6500433614385341
166
0
167
0.07215424444597907
168
0.15733474510067547
169
1
170
0.343419201410337
171
0.6686634492830502
172
1
173
0.946189697478775
174
0.18402282977228346
175
0
176
0.8438649035863673
177
0.36633506168926333
178
0
179
0.7727142235499723
180
0.6870738320851794
181
0
182
0.28092360547768624
183
0.9746726863048182
184
0
185
0.27404854572172876
186
0.747380696862828
187
1
188
0.4710813917848987
189
0.8723579080685541
190
1
191
0.7905609004480729
192
0.7459878923766
193
0
194
0.3487433609626843
195
0.7389328966069489
196
0
197
0.6231886359861014
198
0.9609786296369422
199
0
200
0.33646301207646256
201
0.5859033039533847
202
1
203
0.935991282587223
204
0.41477390243451695
205
0
206
0.5591125285911555
207
0.6823385396590625
208
1
209
0.8056331896336443
210
0.6305051552998946
211
1
212
0.4925651373009867
213
0.27548557808597784
214
0
215
0.11828911587690294
216
0.779340208459347
217
1
218
0.4903127414935732
219
0.574500155295983
220
0
221
0.3770205037028559
222
0.7538962200690981
223
1
224
0.4033123616247666
225
0.9695316106618898
226
1
227
0.5831405194830055
228
0.0474829380074836
229
1
230
0.634788696659005
231
0.6238722950346652
232
0
233
0.9335284438821368
234
0.21439238672895955
235
1
236
0.08074440209673317
237
0.09301231747659144
238
0
239
0.9887335792332699
240
0.6027482945169664
241
1
242
0.10206928952406669
243
0.8934064504184649
244
0
245
0.951107474860267
246
0.3184510024674603
247
0
248
0.15192168731138933
249
0.6985909747551733
250
1
251
0.03288306214837067
252
0.8831621275699564
253
1
254
0.42223924495470855
255
0.652003273664791
256
0
257
0.5285567645939026
258
0.17011675044061403
259
0
260
0.0463633622268802
261
0.6355490492262483
262
1
263
0.5837584034339687
264
0.20728361322357258
265
1
266
0.2877357399300393
267
0.8308475624732982
268
0
269
0.697283157508605
270
0.8482499548045255
271
0
272
0.811426286348771
273
0.3998228242564117
274
0
275
0.7934705484510383
276
0.2620540176224373
277
0
278
0.635991337924065
279
0.8040813431658476
280
1
281
0.0976398467620666
282
0.6132698840202904
283
1
284
0.36108688040216486
285
0.7217064852781419
286
0
287
0.042550311450125444
288
0.7608914906797376
289
0
290
0.40841676387771453
291
0.08352974832232363
292
0
293
0.42053214644915815
294
0.14332835340828132
295
1
296
0.4272301663019692
297
0.554027064384713
298
1
299
0.03302110910255829
300
0.44927880429766676