Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Super4 / input_values @ eb639349

History | View | Annotate | Download (5.81 KB)

1
1.0000000000000000
2
1.0000000000000000
3
87.0961447907960036
4
1.0000000000000000
5
1.0000000000000000
6
21.1835943615887743
7
1.0000000000000000
8
-1.0000000000000000
9
83.6664940277769773
10
1.0000000000000000
11
-1.0000000000000000
12
85.9301689176415380
13
-1.0000000000000000
14
1.0000000000000000
15
52.3377472974036237
16
-1.0000000000000000
17
-1.0000000000000000
18
47.7362794264839962
19
-1.0000000000000000
20
-1.0000000000000000
21
88.9883132710091331
22
1.0000000000000000
23
1.0000000000000000
24
6.5076200417364616
25
1.0000000000000000
26
-1.0000000000000000
27
50.9456125157451964
28
1.0000000000000000
29
-1.0000000000000000
30
62.0797947105787600
31
-1.0000000000000000
32
1.0000000000000000
33
73.3567439827716044
34
-1.0000000000000000
35
-1.0000000000000000
36
22.9996230884130028
37
-1.0000000000000000
38
-1.0000000000000000
39
2.1871875699116972
40
1.0000000000000000
41
1.0000000000000000
42
13.8988889699739886
43
1.0000000000000000
44
1.0000000000000000
45
76.9507446909154567
46
1.0000000000000000
47
-1.0000000000000000
48
96.9765180908154321
49
-1.0000000000000000
50
1.0000000000000000
51
38.6794416028229193
52
-1.0000000000000000
53
1.0000000000000000
54
99.3427789797031551
55
-1.0000000000000000
56
-1.0000000000000000
57
32.6393467680679876
58
1.0000000000000000
59
1.0000000000000000
60
13.7161036188198420
61
1.0000000000000000
62
1.0000000000000000
63
38.4753630015333812
64
1.0000000000000000
65
-1.0000000000000000
66
56.2635832519232792
67
-1.0000000000000000
68
1.0000000000000000
69
63.3835426779715405
70
-1.0000000000000000
71
1.0000000000000000
72
54.1606384905118716
73
-1.0000000000000000
74
-1.0000000000000000
75
31.4993424436676435
76
-1.0000000000000000
77
-1.0000000000000000
78
15.9326723401659649
79
1.0000000000000000
80
1.0000000000000000
81
15.2616233605403995
82
1.0000000000000000
83
-1.0000000000000000
84
13.6950773617248167
85
1.0000000000000000
86
-1.0000000000000000
87
70.9803116359698691
88
-1.0000000000000000
89
1.0000000000000000
90
46.4864466073703042
91
-1.0000000000000000
92
-1.0000000000000000
93
11.3271183329893717
94
-1.0000000000000000
95
-1.0000000000000000
96
70.0878852298407224
97
1.0000000000000000
98
1.0000000000000000
99
17.9986137481548347
100
1.0000000000000000
101
-1.0000000000000000
102
80.3668080429506944
103
1.0000000000000000
104
-1.0000000000000000
105
51.3956104801504807
106
-1.0000000000000000
107
1.0000000000000000
108
54.8438361778913119
109
-1.0000000000000000
110
1.0000000000000000
111
20.7844759450220629
112
-1.0000000000000000
113
-1.0000000000000000
114
78.4588874596059895
115
1.0000000000000000
116
1.0000000000000000
117
52.6489632720483343
118
1.0000000000000000
119
1.0000000000000000
120
57.1023363557368739
121
1.0000000000000000
122
-1.0000000000000000
123
42.2040758739479784
124
-1.0000000000000000
125
1.0000000000000000
126
72.1156309917712690
127
-1.0000000000000000
128
1.0000000000000000
129
7.3138311171219605
130
-1.0000000000000000
131
-1.0000000000000000
132
59.4861918268640650
133
1.0000000000000000
134
1.0000000000000000
135
86.1977364476974230
136
1.0000000000000000
137
1.0000000000000000
138
44.8801060579290052
139
1.0000000000000000
140
-1.0000000000000000
141
65.2577390457010154
142
1.0000000000000000
143
-1.0000000000000000
144
30.3473118594698050
145
-1.0000000000000000
146
1.0000000000000000
147
60.7439950952841841
148
-1.0000000000000000
149
-1.0000000000000000
150
27.8902309933453232
151
-1.0000000000000000
152
-1.0000000000000000
153
79.9562340196157777
154
1.0000000000000000
155
1.0000000000000000
156
79.6169117931072634
157
1.0000000000000000
158
-1.0000000000000000
159
95.4086903392648793
160
1.0000000000000000
161
-1.0000000000000000
162
44.4338165332343067
163
-1.0000000000000000
164
1.0000000000000000
165
45.6882812653056618
166
-1.0000000000000000
167
-1.0000000000000000
168
59.9817138290485303
169
-1.0000000000000000
170
-1.0000000000000000
171
84.2621831470619043
172
1.0000000000000000
173
1.0000000000000000
174
3.1200452951773316
175
1.0000000000000000
176
1.0000000000000000
177
18.7270141616205130
178
1.0000000000000000
179
-1.0000000000000000
180
94.3594399351998590
181
-1.0000000000000000
182
1.0000000000000000
183
94.7922138757692778
184
-1.0000000000000000
185
1.0000000000000000
186
45.2984391203146899
187
-1.0000000000000000
188
-1.0000000000000000
189
81.0832551157257200
190
1.0000000000000000
191
1.0000000000000000
192
92.8879200710095603
193
1.0000000000000000
194
1.0000000000000000
195
67.2717280988528330
196
1.0000000000000000
197
-1.0000000000000000
198
37.2332279639825146
199
-1.0000000000000000
200
1.0000000000000000
201
40.5695690981349060
202
-1.0000000000000000
203
1.0000000000000000
204
43.8823921792014247
205
-1.0000000000000000
206
-1.0000000000000000
207
67.8649200703147670
208
-1.0000000000000000
209
-1.0000000000000000
210
46.5070328743592327
211
1.0000000000000000
212
1.0000000000000000
213
95.3264168126249558
214
1.0000000000000000
215
-1.0000000000000000
216
35.4697982136033332
217
1.0000000000000000
218
-1.0000000000000000
219
33.9020861851315516
220
-1.0000000000000000
221
1.0000000000000000
222
89.5860046717407812
223
-1.0000000000000000
224
-1.0000000000000000
225
54.5434258258452189
226
-1.0000000000000000
227
-1.0000000000000000
228
74.9283717331469603
229
1.0000000000000000
230
1.0000000000000000
231
12.4877199137867656
232
1.0000000000000000
233
-1.0000000000000000
234
45.3234818121503551
235
1.0000000000000000
236
-1.0000000000000000
237
7.4749438455766430
238
-1.0000000000000000
239
1.0000000000000000
240
66.3340613593338446
241
-1.0000000000000000
242
1.0000000000000000
243
70.3651641928067733
244
-1.0000000000000000
245
-1.0000000000000000
246
91.8950568308253537
247
1.0000000000000000
248
1.0000000000000000
249
66.0071908400953191
250
1.0000000000000000
251
1.0000000000000000
252
69.0104919281635460
253
1.0000000000000000
254
-1.0000000000000000
255
85.3723609811572572
256
-1.0000000000000000
257
1.0000000000000000
258
46.7901722684298633
259
-1.0000000000000000
260
1.0000000000000000
261
45.8478681919284625
262
-1.0000000000000000
263
-1.0000000000000000
264
80.6104187449169842
265
1.0000000000000000
266
1.0000000000000000
267
82.4767236231276968
268
1.0000000000000000
269
1.0000000000000000
270
19.0436103187896606
271
1.0000000000000000
272
-1.0000000000000000
273
2.5673208318273022
274
1.0000000000000000
275
-1.0000000000000000
276
5.6814960495523925
277
-1.0000000000000000
278
1.0000000000000000
279
14.2935580292919422
280
-1.0000000000000000
281
-1.0000000000000000
282
17.1418737554449585
283
-1.0000000000000000
284
-1.0000000000000000
285
62.5844781330649056
286
1.0000000000000000
287
1.0000000000000000
288
2.9515207723904258
289
1.0000000000000000
290
-1.0000000000000000
291
47.2332265248782335
292
1.0000000000000000
293
-1.0000000000000000
294
67.8442770367226586
295
-1.0000000000000000
296
1.0000000000000000
297
11.4788969165258603
298
-1.0000000000000000
299
-1.0000000000000000
300
23.6063923996314813
301
-1.0000000000000000
302
-1.0000000000000000
303
28.9080602151233421