Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_SetResetWait / SetResetWait_SetResetWait_input_values @ 79ef5fc5

History | View | Annotate | Download (2.25 KB)

1
2
2
81.72894494933142
3
1
4
84
5
18.357964551234616
6
1
7
18
8
60.44949844219371
9
1
10
38
11
11.349391446931145
12
0
13
59
14
30.905837444957275
15
0
16
15
17
71.73272364946185
18
0
19
72
20
71.40218343194702
21
0
22
70
23
41.85057735443344
24
1
25
80
26
58.4091652279752
27
0
28
33
29
0.87117119073018
30
0
31
14
32
58.2907307181468
33
1
34
90
35
99.7491565249831
36
1
37
29
38
83.65516226986871
39
1
40
37
41
28.36577959035299
42
1
43
94
44
73.68386055931587
45
0
46
25
47
4.329025426071609
48
1
49
18
50
87.57666106926297
51
1
52
8
53
54.26191600548289
54
1
55
47
56
58.1626792079535
57
0
58
40
59
17.879934716052194
60
0
61
55
62
38.7607278849309
63
1
64
66
65
42.756093073395995
66
0
67
98
68
90.53363866247675
69
0
70
17
71
53.39487384638527
72
1
73
35
74
99.86584360147405
75
1
76
1
77
72.08391687147274
78
0
79
43
80
85.70384180726927
81
0
82
70
83
40.9649759706435
84
1
85
31
86
55.334245850424246
87
1
88
83
89
44.86334222681769
90
1
91
12
92
93.73432588618346
93
1
94
97
95
62.63754974919311
96
0
97
99
98
26.415067753550137
99
1
100
15
101
81.15889504982188
102
1
103
32
104
78.58696507795099
105
0
106
74
107
90.50288077378443
108
0
109
52
110
64.5138911462891
111
0
112
8
113
41.53245021292691
114
0
115
9
116
80.08057519995775
117
1
118
90
119
87.77540845591042
120
0
121
18
122
38.88433549198529
123
1
124
96
125
52.34621943348764
126
0
127
97
128
87.57190377714772
129
1
130
68
131
57.63491439764322
132
1
133
82
134
59.677323441654075
135
0
136
32
137
30.58355481832794
138
0
139
67
140
78.87706093536339
141
1
142
55
143
49.593355655955975
144
0
145
84
146
2.3636196630378525
147
0
148
33
149
30.453194961738483
150
0
151
98
152
2.949097452687255
153
0
154
97
155
58.15293645093051
156
0
157
89
158
24.545314441053844
159
1
160
45
161
59.04259725247179
162
1
163
92
164
9.827266801640533
165
1
166
69
167
73.52109568728362
168
0
169
9
170
91.17181365567012
171
0
172
93
173
33.28595571433546
174
0
175
51
176
56.373681241093784
177
1
178
33
179
69.14796882188367
180
0
181
34
182
49.176023775645696
183
0
184
60
185
75.51254133041613
186
1
187
75
188
41.31291145673266
189
0
190
76
191
35.85201262256126
192
0
193
26
194
17.54630763027425
195
1
196
46
197
69.84099770314798
198
0
199
69
200
48.090215222017584
201
0
202
40
203
97.29937146745334
204
1
205
0
206
83.84987203041891
207
1
208
72
209
26.68520590345832
210
1
211
48
212
99.06398406655764
213
0
214
48
215
66.60264616303606
216
1
217
82
218
23.22318609777775
219
1
220
29
221
27.63733422486867
222
0
223
98
224
49.54804052471524
225
0
226
21
227
28.804655105956833
228
1
229
90
230
80.84506678675122
231
0
232
31
233
47.99373959490627
234
0
235
91
236
75.2194218900197
237
0
238
92
239
59.01283759095003
240
1
241
88
242
83.90805802499955
243
1
244
29
245
79.18927451988532
246
0
247
28
248
31.407261441522472
249
0
250
29
251
10.949918147210969
252
1
253
54
254
74.10372729107422
255
1
256
61
257
98.40570729360627
258
0
259
76
260
87.7783993423818
261
0
262
48
263
35.686457118596735
264
1
265
30
266
76.63750083980517
267
0
268
15
269
57.61981754167111
270
1
271
10
272
66.93534982302909
273
0
274
8
275
15.320904134854374
276
1
277
67
278
46.788660648769806
279
0
280
60
281
89.3568070316795
282
0
283
76
284
40.44224567333357
285
1
286
74
287
21.372790865115622
288
1
289
63
290
60.031141432860736
291
0
292
63
293
51.4146913840739
294
1
295
68
296
60.794381440711085
297
1
298
57
299
32.654684916265545
300
0