Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super2 / Super2_Super2_input_values @ 79ef5fc5

History | View | Annotate | Download (2.25 KB)

1
23
2
91.83400554468692
3
0
4
34
5
88.6224710444775
6
0
7
26
8
41.09261721134071
9
1
10
9
11
80.43876885487445
12
1
13
85
14
40.1174100444874
15
0
16
56
17
28.509022702787455
18
0
19
94
20
42.55835071546572
21
1
22
68
23
37.5052700983325
24
0
25
8
26
55.55373094823515
27
0
28
66
29
31.94862690074949
30
1
31
34
32
97.5686220341662
33
1
34
31
35
28.98843094873269
36
1
37
36
38
20.27073397749135
39
0
40
54
41
64.83212368745903
42
0
43
87
44
3.9682264737342154
45
0
46
86
47
73.4617836858453
48
1
49
55
50
27.637928510189404
51
0
52
42
53
46.839529097432795
54
0
55
72
56
9.201285885923093
57
1
58
70
59
89.49551328437437
60
1
61
55
62
9.459336781695594
63
0
64
73
65
17.20856305621128
66
1
67
52
68
93.97681217409928
69
0
70
63
71
39.43096668797491
72
0
73
60
74
51.2095010266164
75
1
76
42
77
8.175295989028397
78
1
79
37
80
72.29779273293883
81
1
82
79
83
12.272587736236796
84
0
85
11
86
8.203311913771039
87
0
88
63
89
45.22754488928592
90
1
91
78
92
33.244425318777374
93
1
94
12
95
77.33792731408897
96
0
97
22
98
60.590303094037814
99
0
100
95
101
18.311621663892964
102
0
103
62
104
74.90214065106369
105
0
106
97
107
65.30631310049735
108
1
109
94
110
70.06404513238277
111
0
112
64
113
93.13310400028567
114
0
115
70
116
5.825002244065058
117
1
118
28
119
58.306833701316606
120
1
121
3
122
26.177229254541047
123
1
124
48
125
56.69219506434223
126
1
127
93
128
14.425153806770952
129
1
130
65
131
95.68626699171087
132
1
133
53
134
95.15311962820101
135
1
136
75
137
16.194350469647112
138
0
139
94
140
31.678905945317137
141
1
142
64
143
27.097542632952255
144
1
145
58
146
9.083940022245384
147
0
148
2
149
95.47675745377104
150
0
151
27
152
37.54010344861292
153
1
154
45
155
69.54940956720559
156
0
157
48
158
58.40686238802889
159
1
160
52
161
98.0913245854531
162
0
163
83
164
86.45138202782853
165
1
166
91
167
50.057885789121215
168
0
169
98
170
75.54821014490419
171
0
172
64
173
31.184775133990104
174
0
175
64
176
52.34397143664494
177
0
178
0
179
40.54016194290235
180
0
181
59
182
22.626495285201763
183
0
184
40
185
9.316495719197126
186
1
187
33
188
18.516621805426425
189
1
190
50
191
16.591553180004116
192
0
193
36
194
21.10491176663032
195
0
196
87
197
82.35474603923119
198
0
199
20
200
62.78432874266957
201
0
202
7
203
96.78611941712477
204
1
205
98
206
86.28392889421936
207
0
208
2
209
56.591868628655064
210
0
211
44
212
13.28744670287617
213
0
214
52
215
44.141620700277905
216
0
217
21
218
54.52459747401575
219
0
220
70
221
3.2191200902527806
222
0
223
11
224
75.35183264659102
225
1
226
13
227
36.38937491548408
228
1
229
96
230
16.09317295257856
231
1
232
15
233
73.30173071547652
234
0
235
84
236
54.790634078668035
237
0
238
61
239
36.68969423762526
240
1
241
43
242
91.51773314453557
243
0
244
33
245
63.39485640534651
246
1
247
33
248
28.038365725679746
249
1
250
99
251
21.43348767456802
252
0
253
55
254
14.34736272474877
255
0
256
22
257
0.9410052197674212
258
1
259
80
260
34.50786137138554
261
1
262
86
263
46.77068002106726
264
0
265
27
266
8.204550049855863
267
1
268
21
269
43.5895957615602
270
1
271
29
272
91.56078459925077
273
1
274
83
275
60.506060656588055
276
1
277
33
278
71.02143479590256
279
0
280
99
281
11.579251329856833
282
0
283
78
284
57.48226335424845
285
0
286
30
287
91.00317897394488
288
1
289
61
290
4.350509508522904
291
0
292
73
293
97.32346842270533
294
0
295
5
296
92.8503059959036
297
1
298
68
299
69.7369438313212
300
1