Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.89 KB)

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