Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (2.08 KB)

1
1
2
0.7777286607532239
3
1
4
0.9508642514661827
5
0
6
0.2711108523933806
7
1
8
0.08430630207874124
9
0
10
0.30684145712587896
11
1
12
0.897377577714192
13
1
14
0.5576449108262357
15
0
16
0.6280275510292028
17
1
18
0.9468896668543312
19
1
20
0.018338639209657726
21
0
22
0.05377273210611988
23
0
24
0.2253796016277595
25
1
26
0.10659572866107647
27
1
28
0.9158852925245925
29
1
30
0.3560330788337813
31
0
32
0.7892690836848525
33
0
34
0.9966009251193166
35
1
36
0.003714062727384171
37
1
38
0.0017087699389465305
39
0
40
0.6202735966430145
41
1
42
0.8506586273672964
43
1
44
0.9980869287096681
45
1
46
0.19521298204899373
47
1
48
0.8128093031106387
49
1
50
0.3200918622916411
51
0
52
0.9963794461466624
53
0
54
0.8763459525495502
55
0
56
0.483718301711913
57
0
58
0.9046334384312005
59
1
60
0.8147107148241998
61
0
62
0.34005414325568284
63
0
64
0.13763279387830096
65
0
66
0.19196674133911007
67
0
68
0.27820180895943536
69
0
70
0.323246297504415
71
0
72
0.0559857753153602
73
1
74
0.24464899044231836
75
1
76
0.06387736179033288
77
0
78
0.9549821383785134
79
1
80
0.8528291684442298
81
0
82
0.9905739571888643
83
0
84
0.69125411424983
85
0
86
0.1643369828992285
87
1
88
0.8519762099006384
89
0
90
0.34503755710683903
91
1
92
0.3402283295164682
93
1
94
0.23221347442185125
95
0
96
0.6995712449532939
97
1
98
0.7815024447420164
99
0
100
0.39783224128175987
101
0
102
0.8204552576217965
103
1
104
0.2990457867075055
105
1
106
0.5463870885241943
107
0
108
0.33950433478712727
109
1
110
0.4093231433550568
111
1
112
0.3284577986652393
113
1
114
0.9120766869218334
115
0
116
0.6283117377316145
117
0
118
0.002605437171190439
119
1
120
0.03222206132360361
121
0
122
0.12268715078910641
123
0
124
0.45555035882154904
125
0
126
0.832608648331244
127
0
128
0.8508863434058742
129
1
130
0.7091050360654773
131
0
132
0.08368374555639135
133
1
134
0.7136453485595841
135
0
136
0.6164299550894842
137
0
138
0.9430462012881173
139
1
140
0.3198874642956583
141
1
142
0.4854093448992288
143
1
144
0.2709735463065135
145
0
146
0.5332690244268007
147
0
148
0.8246491156211031
149
1
150
0.4741904599462434
151
0
152
0.3100777154225727
153
0
154
0.5189648365412809
155
1
156
0.9209059576419194
157
1
158
0.13198528556131262
159
1
160
0.7761420569152758
161
0
162
0.323423591881724
163
1
164
0.7379378753874376
165
0
166
0.5273432768040985
167
1
168
0.6728285328656526
169
0
170
0.3424083851277523
171
0
172
0.6203984158519311
173
1
174
0.4277553415380295
175
1
176
0.09984412635080231
177
0
178
0.3627114892576143
179
0
180
0.02306149726946871
181
1
182
0.5864269381734545
183
0
184
0.35261068375281457
185
1
186
0.7529292528613807
187
0
188
0.6595650017201979
189
0
190
0.015639232349547116
191
0
192
0.24899419490653363
193
1
194
0.3157778998173095
195
1
196
0.588993213331755
197
1
198
0.4682215786243962
199
0
200
0.2628948845512663