Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (7.03 KB)

1 4ce7401e bourbouh
'x0': '0.000000' 
2
'x1': '0.000000' 
3
'x2': '0.000000' 
4
'x3': '0.000000' 
5
'x0': '0.152158' 
6
'x1': '0.000000' 
7
'x2': '0.304316' 
8
'x3': '0.000000' 
9
'x0': '0.462191' 
10
'x1': '0.152158' 
11
'x2': '0.893951' 
12
'x3': '0.304316' 
13
'x0': '0.391128' 
14
'x1': '0.462191' 
15
'x2': '0.616782' 
16
'x3': '0.893951' 
17
'x0': '0.227696' 
18
'x1': '0.391128' 
19
'x2': '0.077410' 
20
'x3': '0.616782' 
21
'x0': '0.411316' 
22
'x1': '0.227696' 
23
'x2': '0.302071' 
24
'x3': '0.077410' 
25
'x0': '0.306913' 
26
'x1': '0.411316' 
27
'x2': '0.059625' 
28
'x3': '0.302071' 
29
'x0': '1.000000' 
30
'x1': '1.000000' 
31
'x2': '1.000000' 
32
'x3': '1.000000' 
33
'x0': '0.962914' 
34
'x1': '1.000000' 
35
'x2': '0.925828' 
36
'x3': '1.000000' 
37
'x0': '0.945261' 
38
'x1': '0.962914' 
39
'x2': '0.897940' 
40
'x3': '0.925828' 
41
'x0': '0.811470' 
42
'x1': '0.945261' 
43
'x2': '0.651688' 
44
'x3': '0.897940' 
45
'x0': '0.498881' 
46
'x1': '0.811470' 
47
'x2': '0.080731' 
48
'x3': '0.651688' 
49
'x0': '1.000000' 
50
'x1': '1.000000' 
51
'x2': '1.000000' 
52
'x3': '1.000000' 
53
'x0': '0.687111' 
54
'x1': '1.000000' 
55
'x2': '0.374221' 
56
'x3': '1.000000' 
57
'x0': '0.804756' 
58
'x1': '0.687111' 
59
'x2': '0.672091' 
60
'x3': '0.374221' 
61
'x0': '0.492209' 
62
'x1': '0.804756' 
63
'x2': '0.173654' 
64
'x3': '0.672091' 
65
'x0': '0.739532' 
66
'x1': '0.492209' 
67
'x2': '0.834539' 
68
'x3': '0.173654' 
69
'x0': '1.000000' 
70
'x1': '1.000000' 
71
'x2': '1.000000' 
72
'x3': '1.000000' 
73
'x0': '0.790853' 
74
'x1': '1.000000' 
75
'x2': '0.581706' 
76
'x3': '1.000000' 
77
'x0': '0.837910' 
78
'x1': '0.790853' 
79
'x2': '0.717650' 
80
'x3': '0.581706' 
81
'x0': '0.891033' 
82
'x1': '0.837910' 
83
'x2': '0.914875' 
84
'x3': '0.717650' 
85
'x0': '0.791674' 
86
'x1': '0.891033' 
87
'x2': '0.790028' 
88
'x3': '0.914875' 
89
'x0': '0.688359' 
90
'x1': '0.791674' 
91
'x2': '0.623280' 
92
'x3': '0.790028' 
93
'x0': '1.000000' 
94
'x1': '1.000000' 
95
'x2': '1.000000' 
96
'x3': '1.000000' 
97
'x0': '0.529911' 
98
'x1': '1.000000' 
99
'x2': '0.059821' 
100
'x3': '1.000000' 
101
'x0': '1.000000' 
102
'x1': '1.000000' 
103
'x2': '1.000000' 
104
'x3': '1.000000' 
105
'x0': '0.941896' 
106
'x1': '1.000000' 
107
'x2': '0.883792' 
108
'x3': '1.000000' 
109
'x0': '1.000000' 
110
'x1': '1.000000' 
111
'x2': '1.000000' 
112
'x3': '1.000000' 
113
'x0': '1.000000' 
114
'x1': '1.000000' 
115
'x2': '1.000000' 
116
'x3': '1.000000' 
117
'x0': '1.000000' 
118
'x1': '1.000000' 
119
'x2': '1.000000' 
120
'x3': '1.000000' 
121
'x0': '0.872237' 
122
'x1': '1.000000' 
123
'x2': '0.744474' 
124
'x3': '1.000000' 
125
'x0': '1.000000' 
126
'x1': '1.000000' 
127
'x2': '1.000000' 
128
'x3': '1.000000' 
129
'x0': '0.624565' 
130
'x1': '1.000000' 
131
'x2': '0.249130' 
132
'x3': '1.000000' 
133
'x0': '0.799454' 
134
'x1': '0.624565' 
135
'x2': '0.673994' 
136
'x3': '0.249130' 
137
'x0': '1.000000' 
138
'x1': '1.000000' 
139
'x2': '1.000000' 
140
'x3': '1.000000' 
141
'x0': '0.632803' 
142
'x1': '1.000000' 
143
'x2': '0.265606' 
144
'x3': '1.000000' 
145
'x0': '0.641031' 
146
'x1': '0.632803' 
147
'x2': '0.355502' 
148
'x3': '0.265606' 
149
'x0': '0.721019' 
150
'x1': '0.641031' 
151
'x2': '0.690087' 
152
'x3': '0.355502' 
153
'x0': '0.547898' 
154
'x1': '0.721019' 
155
'x2': '0.511903' 
156
'x3': '0.690087' 
157
'x0': '1.000000' 
158
'x1': '1.000000' 
159
'x2': '1.000000' 
160
'x3': '1.000000' 
161
'x0': '0.723771' 
162
'x1': '1.000000' 
163
'x2': '0.447541' 
164
'x3': '1.000000' 
165
'x0': '1.000000' 
166
'x1': '1.000000' 
167
'x2': '1.000000' 
168
'x3': '1.000000' 
169
'x0': '0.956983' 
170
'x1': '1.000000' 
171
'x2': '0.913966' 
172
'x3': '1.000000' 
173
'x0': '1.000000' 
174
'x1': '1.000000' 
175
'x2': '1.000000' 
176
'x3': '1.000000' 
177
'x0': '1.000000' 
178
'x1': '1.000000' 
179
'x2': '1.000000' 
180
'x3': '1.000000' 
181
'x0': '1.000000' 
182
'x1': '1.000000' 
183
'x2': '1.000000' 
184
'x3': '1.000000' 
185
'x0': '0.769680' 
186
'x1': '1.000000' 
187
'x2': '0.539359' 
188
'x3': '1.000000' 
189
'x0': '0.846502' 
190
'x1': '0.769680' 
191
'x2': '0.739069' 
192
'x3': '0.539359' 
193
'x0': '1.000000' 
194
'x1': '1.000000' 
195
'x2': '1.000000' 
196
'x3': '1.000000' 
197
'x0': '1.000000' 
198
'x1': '1.000000' 
199
'x2': '1.000000' 
200
'x3': '1.000000' 
201
'x0': '0.950571' 
202
'x1': '1.000000' 
203
'x2': '0.901143' 
204
'x3': '1.000000' 
205
'x0': '1.000000' 
206
'x1': '1.000000' 
207
'x2': '1.000000' 
208
'x3': '1.000000' 
209
'x0': '0.899317' 
210
'x1': '1.000000' 
211
'x2': '0.798635' 
212
'x3': '1.000000' 
213
'x0': '0.547189' 
214
'x1': '0.899317' 
215
'x2': '0.114514' 
216
'x3': '0.798635' 
217
'x0': '0.650629' 
218
'x1': '0.547189' 
219
'x2': '0.440148' 
220
'x3': '0.114514' 
221
'x0': '0.439152' 
222
'x1': '0.650629' 
223
'x2': '0.217077' 
224
'x3': '0.440148' 
225
'x0': '1.000000' 
226
'x1': '1.000000' 
227
'x2': '1.000000' 
228
'x3': '1.000000' 
229
'x0': '0.740479' 
230
'x1': '1.000000' 
231
'x2': '0.480958' 
232
'x3': '1.000000' 
233
'x0': '0.767232' 
234
'x1': '0.740479' 
235
'x2': '0.586369' 
236
'x3': '0.480958' 
237
'x0': '0.835143' 
238
'x1': '0.767232' 
239
'x2': '0.841410' 
240
'x3': '0.586369' 
241
'x0': '0.510598' 
242
'x1': '0.835143' 
243
'x2': '0.298772' 
244
'x3': '0.841410' 
245
'x0': '1.000000' 
246
'x1': '1.000000' 
247
'x2': '1.000000' 
248
'x3': '1.000000' 
249
'x0': '0.914782' 
250
'x1': '1.000000' 
251
'x2': '0.829564' 
252
'x3': '1.000000' 
253
'x0': '0.849852' 
254
'x1': '0.914782' 
255
'x2': '0.716747' 
256
'x3': '0.829564' 
257
'x0': '0.665847' 
258
'x1': '0.849852' 
259
'x2': '0.402628' 
260
'x3': '0.716747' 
261
'x0': '1.000000' 
262
'x1': '1.000000' 
263
'x2': '1.000000' 
264
'x3': '1.000000' 
265
'x0': '0.618484' 
266
'x1': '1.000000' 
267
'x2': '0.236968' 
268
'x3': '1.000000' 
269
'x0': '0.807218' 
270
'x1': '0.618484' 
271
'x2': '0.690739' 
272
'x3': '0.236968' 
273
'x0': '1.000000' 
274
'x1': '1.000000' 
275
'x2': '1.000000' 
276
'x3': '1.000000' 
277
'x0': '0.891273' 
278
'x1': '1.000000' 
279
'x2': '0.782546' 
280
'x3': '1.000000' 
281
'x0': '1.000000' 
282
'x1': '1.000000' 
283
'x2': '1.000000' 
284
'x3': '1.000000' 
285
'x0': '1.000000' 
286
'x1': '1.000000' 
287
'x2': '1.000000' 
288
'x3': '1.000000' 
289
'x0': '0.513532' 
290
'x1': '1.000000' 
291
'x2': '0.027064' 
292
'x3': '1.000000' 
293
'x0': '1.000000' 
294
'x1': '1.000000' 
295
'x2': '1.000000' 
296
'x3': '1.000000' 
297
'x0': '0.705000' 
298
'x1': '1.000000' 
299
'x2': '0.410001' 
300
'x3': '1.000000' 
301
'x0': '1.000000' 
302
'x1': '1.000000' 
303
'x2': '1.000000' 
304
'x3': '1.000000' 
305
'x0': '0.686394' 
306
'x1': '1.000000' 
307
'x2': '0.372788' 
308
'x3': '1.000000' 
309
'x0': '0.802072' 
310
'x1': '0.686394' 
311
'x2': '0.666866' 
312
'x3': '0.372788' 
313
'x0': '0.686141' 
314
'x1': '0.802072' 
315
'x2': '0.562398' 
316
'x3': '0.666866' 
317
'x0': '0.491241' 
318
'x1': '0.686141' 
319
'x2': '0.300825' 
320
'x3': '0.562398' 
321
'x0': '0.753120' 
322
'x1': '0.491241' 
323
'x2': '0.964352' 
324
'x3': '0.300825' 
325
'x0': '0.508081' 
326
'x1': '0.753120' 
327
'x2': '0.553971' 
328
'x3': '0.964352' 
329
'x0': '0.715329' 
330
'x1': '0.508081' 
331
'x2': '0.964861' 
332
'x3': '0.553971' 
333
'x0': '1.000000' 
334
'x1': '1.000000' 
335
'x2': '1.000000' 
336
'x3': '1.000000' 
337
'x0': '1.000000' 
338
'x1': '1.000000' 
339
'x2': '1.000000' 
340
'x3': '1.000000' 
341
'x0': '1.000000' 
342
'x1': '1.000000' 
343
'x2': '1.000000' 
344
'x3': '1.000000' 
345
'x0': '1.000000' 
346
'x1': '1.000000' 
347
'x2': '1.000000' 
348
'x3': '1.000000' 
349
'x0': '0.961387' 
350
'x1': '1.000000' 
351
'x2': '0.922773' 
352
'x3': '1.000000' 
353
'x0': '1.000000' 
354
'x1': '1.000000' 
355
'x2': '1.000000' 
356
'x3': '1.000000' 
357
'x0': '1.000000' 
358
'x1': '1.000000' 
359
'x2': '1.000000' 
360
'x3': '1.000000' 
361
'x0': '0.642580' 
362
'x1': '1.000000' 
363
'x2': '0.285159' 
364
'x3': '1.000000' 
365
'x0': '0.469838' 
366
'x1': '0.642580' 
367
'x2': '0.011161' 
368
'x3': '0.285159' 
369
'x0': '1.000000' 
370
'x1': '1.000000' 
371
'x2': '1.000000' 
372
'x3': '1.000000' 
373
'x0': '0.868120' 
374
'x1': '1.000000' 
375
'x2': '0.736240' 
376
'x3': '1.000000' 
377
'x0': '1.000000' 
378
'x1': '1.000000' 
379
'x2': '1.000000' 
380
'x3': '1.000000' 
381
'x0': '1.000000' 
382
'x1': '1.000000' 
383
'x2': '1.000000' 
384
'x3': '1.000000' 
385
'x0': '1.000000' 
386
'x1': '1.000000' 
387
'x2': '1.000000' 
388
'x3': '1.000000' 
389
'x0': '1.000000' 
390
'x1': '1.000000' 
391
'x2': '1.000000' 
392
'x3': '1.000000' 
393
'x0': '0.868717' 
394
'x1': '1.000000' 
395
'x2': '0.737434' 
396
'x3': '1.000000' 
397
'x0': '0.955199' 
398
'x1': '0.868717' 
399
'x2': '0.936655' 
400
'x3': '0.737434'