Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super3 / Super3_Super3_input_values @ 79ef5fc5

History | View | Annotate | Download (2.26 KB)

1
98
2
61.97392694820982
3
0
4
78
5
15.598888764934316
6
1
7
21
8
88.87558027404218
9
0
10
83
11
96.33638652611789
12
1
13
96
14
58.90725179895841
15
0
16
0
17
41.72989002538626
18
0
19
32
20
65.39022517560669
21
0
22
90
23
52.97376062624773
24
0
25
85
26
13.741733867097295
27
1
28
19
29
52.405901296566896
30
1
31
20
32
26.384690882258212
33
0
34
41
35
49.02203387128783
36
1
37
18
38
78.07744054251245
39
1
40
10
41
10.949575818414402
42
0
43
77
44
82.73591161729702
45
1
46
22
47
83.5804921289653
48
1
49
27
50
57.605726362992094
51
1
52
22
53
48.410130238982475
54
1
55
48
56
23.551945512318383
57
1
58
13
59
52.10165755023793
60
0
61
50
62
61.26933621730951
63
1
64
3
65
47.893435825692855
66
0
67
36
68
32.37613867371354
69
1
70
99
71
82.18928482045484
72
0
73
9
74
91.63953692823014
75
1
76
15
77
28.019283312540054
78
0
79
55
80
61.9911389912111
81
0
82
76
83
14.031336995197075
84
0
85
30
86
17.525936051556045
87
1
88
88
89
22.77149707630015
90
0
91
36
92
21.33841200531441
93
0
94
65
95
35.23360413412765
96
0
97
9
98
94.83456365334749
99
0
100
21
101
80.00647784977689
102
0
103
46
104
53.06881913581941
105
0
106
34
107
4.81960149661912
108
1
109
64
110
26.689898998234728
111
0
112
20
113
25.885822097988676
114
0
115
72
116
5.239970937971494
117
0
118
72
119
26.162315890114705
120
0
121
41
122
78.8364186560177
123
0
124
29
125
67.49864718421966
126
1
127
26
128
25.675892591646043
129
1
130
38
131
53.61349877480994
132
1
133
47
134
91.33530996150574
135
1
136
52
137
30.93922202306476
138
1
139
61
140
32.50470162412397
141
1
142
7
143
42.59606502985618
144
0
145
16
146
52.57199562519459
147
0
148
26
149
57.10556438488824
150
1
151
34
152
39.38986412911153
153
1
154
9
155
77.92527139775684
156
0
157
15
158
26.59005606026208
159
1
160
96
161
2.4845963531871185
162
0
163
72
164
38.97068999449842
165
0
166
15
167
40.1242685298867
168
0
169
38
170
49.767191498189526
171
1
172
57
173
17.18950196294361
174
0
175
10
176
73.02768630062563
177
1
178
23
179
94.49966861230838
180
1
181
56
182
37.84885888726427
183
0
184
88
185
97.51490608860614
186
0
187
74
188
42.8883765024348
189
0
190
87
191
12.742742611384072
192
0
193
75
194
69.35520403958644
195
0
196
90
197
35.27550296356381
198
1
199
2
200
38.589239574999645
201
0
202
75
203
61.82188241283401
204
0
205
82
206
36.37689496357108
207
0
208
67
209
11.193755634928094
210
1
211
13
212
90.30936108959156
213
0
214
16
215
19.931942638797796
216
0
217
64
218
78.77550441471702
219
1
220
60
221
4.6022895200801495
222
1
223
42
224
70.59144667448992
225
1
226
62
227
4.266102631956747
228
0
229
26
230
42.80406622808515
231
0
232
41
233
16.7266170150169
234
0
235
47
236
0.8658159047211123
237
0
238
18
239
20.375844764821473
240
1
241
67
242
30.163402056251133
243
0
244
36
245
29.813791734038187
246
0
247
19
248
40.79299503744043
249
1
250
51
251
67.88470818969463
252
0
253
82
254
28.50988703460098
255
1
256
40
257
49.372661368304726
258
0
259
59
260
63.94053781301169
261
0
262
92
263
62.321426853400006
264
0
265
10
266
39.43024131197972
267
1
268
34
269
1.7912931558933143
270
1
271
79
272
48.30970093413719
273
0
274
4
275
57.838069914094646
276
0
277
4
278
44.898995851993774
279
1
280
26
281
84.5972357354724
282
1
283
49
284
35.22760567826732
285
0
286
76
287
80.5788135008226
288
0
289
24
290
78.23424104966122
291
0
292
22
293
91.6262189433729
294
1
295
64
296
35.12048468849402
297
1
298
51
299
7.464989520275401
300
1