Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (2.07 KB)

1
1
2
0.11575527541512709
3
1
4
0.24711202260246345
5
0
6
0.011194716388561288
7
1
8
0.6213921918362996
9
0
10
0.5654861555067595
11
0
12
0.11519480439779828
13
1
14
0.6109506738328367
15
1
16
0.4584564129762101
17
0
18
0.3532895936033126
19
1
20
0.24278193952048732
21
1
22
0.6383046615512337
23
0
24
0.5938961735351231
25
1
26
0.0541627579825954
27
1
28
0.9710090148471973
29
1
30
0.8414138169024453
31
1
32
0.2935242276548895
33
0
34
0.014694316540026287
35
0
36
0.8726054848044712
37
0
38
0.7075280046184467
39
0
40
0.7897996884004799
41
0
42
0.6549550215338612
43
1
44
0.2946663799696654
45
0
46
0.3782865235700146
47
1
48
0.019771028182920647
49
1
50
0.842164910129491
51
1
52
0.8964868216625453
53
0
54
0.7055558366578187
55
1
56
0.6822764942416141
57
1
58
0.8422502581599184
59
1
60
0.27220583046186986
61
1
62
0.8928045908894974
63
0
64
0.2767054605903342
65
1
66
0.8197639013973876
67
0
68
0.9884422784884402
69
0
70
0.33056025453042515
71
0
72
0.04788123648778919
73
0
74
0.8133713328991671
75
1
76
0.9141217099100059
77
0
78
0.8264448376981928
79
0
80
0.25282481392752565
81
1
82
0.9469955748546072
83
0
84
0.03910923289358481
85
0
86
0.7641222523994402
87
1
88
0.6245599670025194
89
1
90
0.1514262974401418
91
0
92
0.8952745534877935
93
1
94
0.16156043393260777
95
0
96
0.5593528298055724
97
0
98
0.34527500683329426
99
0
100
0.6427922485109658
101
0
102
0.7945400035454947
103
1
104
0.3548551432206124
105
1
106
0.25701142930777754
107
0
108
0.1597678975207636
109
1
110
0.7104343591472041
111
1
112
0.719918462694724
113
0
114
0.432734434623806
115
1
116
0.4779997032829326
117
0
118
0.5809156634126785
119
1
120
0.9391283229709285
121
0
122
0.4604800104426806
123
0
124
0.40452991529679294
125
1
126
0.47826268935189953
127
1
128
0.16750280049481137
129
0
130
0.7162869245900445
131
1
132
0.5296831313649895
133
0
134
0.15308298889603256
135
1
136
0.7488185903090836
137
1
138
0.5868410585629146
139
1
140
0.27897208865178313
141
0
142
0.6331183255438293
143
0
144
0.57455083841237
145
1
146
0.9070932048907661
147
0
148
0.5593982913984736
149
1
150
0.6418520797657398
151
0
152
0.9437006568274001
153
0
154
0.44945402929802836
155
0
156
0.5804792328284003
157
1
158
0.687234501113052
159
0
160
0.2454663032046377
161
1
162
0.5665548226775309
163
1
164
0.9063656248427204
165
1
166
0.72721153991546
167
0
168
0.8998013907635447
169
1
170
0.2965365959638683
171
0
172
0.8866186015981169
173
1
174
0.6589869072260619
175
0
176
0.17277665982264057
177
0
178
0.3346826861587773
179
0
180
0.5979150308587137
181
0
182
0.879042746054904
183
0
184
0.7860789315268509
185
0
186
0.6261044622190893
187
1
188
0.9448381562689476
189
1
190
0.24374222913182486
191
1
192
0.199077162822334
193
0
194
0.9811671664173085
195
1
196
0.8620578450638978
197
1
198
0.6455643733364387
199
1
200
0.32816419237445305