Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.89 KB)

1
11.0000000000000000
2
1.0000000000000000
3
1.0000000000000000
4
1.0000000000000000
5
60.0000000000000000
6
-1.0000000000000000
7
66.0000000000000000
8
-1.0000000000000000
9
59.0000000000000000
10
1.0000000000000000
11
91.0000000000000000
12
-1.0000000000000000
13
64.0000000000000000
14
-1.0000000000000000
15
53.0000000000000000
16
1.0000000000000000
17
26.0000000000000000
18
-1.0000000000000000
19
6.0000000000000000
20
-1.0000000000000000
21
74.0000000000000000
22
1.0000000000000000
23
17.0000000000000000
24
-1.0000000000000000
25
29.0000000000000000
26
-1.0000000000000000
27
26.0000000000000000
28
1.0000000000000000
29
55.0000000000000000
30
1.0000000000000000
31
55.0000000000000000
32
-1.0000000000000000
33
79.0000000000000000
34
1.0000000000000000
35
87.0000000000000000
36
1.0000000000000000
37
79.0000000000000000
38
-1.0000000000000000
39
97.0000000000000000
40
1.0000000000000000
41
19.0000000000000000
42
1.0000000000000000
43
94.0000000000000000
44
-1.0000000000000000
45
5.0000000000000000
46
1.0000000000000000
47
25.0000000000000000
48
1.0000000000000000
49
1.0000000000000000
50
-1.0000000000000000
51
68.0000000000000000
52
-1.0000000000000000
53
91.0000000000000000
54
1.0000000000000000
55
58.0000000000000000
56
-1.0000000000000000
57
16.0000000000000000
58
-1.0000000000000000
59
51.0000000000000000
60
1.0000000000000000
61
57.0000000000000000
62
-1.0000000000000000
63
19.0000000000000000
64
-1.0000000000000000
65
33.0000000000000000
66
1.0000000000000000
67
72.0000000000000000
68
-1.0000000000000000
69
56.0000000000000000
70
-1.0000000000000000
71
15.0000000000000000
72
1.0000000000000000
73
39.0000000000000000
74
1.0000000000000000
75
40.0000000000000000
76
-1.0000000000000000
77
58.0000000000000000
78
1.0000000000000000
79
2.0000000000000000
80
1.0000000000000000
81
58.0000000000000000
82
-1.0000000000000000
83
94.0000000000000000
84
1.0000000000000000
85
11.0000000000000000
86
1.0000000000000000
87
74.0000000000000000
88
-1.0000000000000000
89
98.0000000000000000
90
1.0000000000000000
91
61.0000000000000000
92
1.0000000000000000
93
72.0000000000000000
94
-1.0000000000000000
95
31.0000000000000000
96
-1.0000000000000000
97
46.0000000000000000
98
1.0000000000000000
99
5.0000000000000000
100
-1.0000000000000000
101
39.0000000000000000
102
-1.0000000000000000
103
37.0000000000000000
104
1.0000000000000000
105
29.0000000000000000
106
-1.0000000000000000
107
82.0000000000000000
108
-1.0000000000000000
109
46.0000000000000000
110
1.0000000000000000
111
81.0000000000000000
112
-1.0000000000000000
113
80.0000000000000000
114
-1.0000000000000000
115
29.0000000000000000
116
1.0000000000000000
117
7.0000000000000000
118
1.0000000000000000
119
6.0000000000000000
120
-1.0000000000000000
121
64.0000000000000000
122
1.0000000000000000
123
43.0000000000000000
124
1.0000000000000000
125
91.0000000000000000
126
-1.0000000000000000
127
42.0000000000000000
128
1.0000000000000000
129
16.0000000000000000
130
1.0000000000000000
131
54.0000000000000000
132
-1.0000000000000000
133
94.0000000000000000
134
1.0000000000000000
135
67.0000000000000000
136
1.0000000000000000
137
40.0000000000000000
138
-1.0000000000000000
139
26.0000000000000000
140
-1.0000000000000000
141
85.0000000000000000
142
1.0000000000000000
143
95.0000000000000000
144
-1.0000000000000000
145
38.0000000000000000
146
-1.0000000000000000
147
7.0000000000000000
148
1.0000000000000000
149
19.0000000000000000
150
-1.0000000000000000
151
58.0000000000000000
152
-1.0000000000000000
153
19.0000000000000000
154
1.0000000000000000
155
30.0000000000000000
156
-1.0000000000000000
157
47.0000000000000000
158
-1.0000000000000000
159
35.0000000000000000
160
1.0000000000000000
161
32.0000000000000000
162
1.0000000000000000
163
46.0000000000000000
164
-1.0000000000000000
165
24.0000000000000000
166
1.0000000000000000
167
3.0000000000000000
168
1.0000000000000000
169
66.0000000000000000
170
-1.0000000000000000
171
16.0000000000000000
172
1.0000000000000000
173
81.0000000000000000
174
1.0000000000000000
175
41.0000000000000000
176
-1.0000000000000000
177
33.0000000000000000
178
1.0000000000000000
179
75.0000000000000000
180
1.0000000000000000
181
75.0000000000000000
182
-1.0000000000000000
183
18.0000000000000000
184
-1.0000000000000000
185
12.0000000000000000
186
1.0000000000000000
187
18.0000000000000000
188
-1.0000000000000000
189
63.0000000000000000
190
-1.0000000000000000
191
85.0000000000000000
192
1.0000000000000000
193
52.0000000000000000
194
-1.0000000000000000
195
17.0000000000000000
196
-1.0000000000000000
197
72.0000000000000000
198
1.0000000000000000
199
91.0000000000000000
200
-1.0000000000000000
201
22.0000000000000000
202
-1.0000000000000000