142aa9e978c2864809a76bf457569caaf8405009
[model-checker-benchmarks.git] / chase-lev-deque-bugfix / result6.txt
1 Result 0:
2 wildcard 1 -> memory_order_relaxed
3 wildcard 2 -> memory_order_relaxed
4 wildcard 3 -> memory_order_relaxed
5 wildcard 4 -> memory_order_relaxed
6 wildcard 5 -> memory_order_relaxed
7 wildcard 6 -> memory_order_relaxed
8 wildcard 7 -> memory_order_relaxed
9 wildcard 8 -> memory_order_seq_cst
10 wildcard 9 -> memory_order_acquire
11 wildcard 10 -> memory_order_relaxed
12 wildcard 11 -> memory_order_relaxed
13 wildcard 12 -> memory_order_relaxed
14 wildcard 14 -> memory_order_release
15 wildcard 15 -> memory_order_relaxed
16 wildcard 16 -> memory_order_relaxed
17 wildcard 17 -> memory_order_relaxed
18 wildcard 18 -> memory_order_relaxed
19 wildcard 19 -> memory_order_relaxed
20 wildcard 20 -> memory_order_relaxed
21 wildcard 21 -> memory_order_relaxed
22 wildcard 22 -> memory_order_relaxed
23 wildcard 23 -> memory_order_release
24 wildcard 24 -> memory_order_relaxed
25 wildcard 25 -> memory_order_relaxed
26 wildcard 26 -> memory_order_relaxed
27 wildcard 27 -> memory_order_relaxed
28 wildcard 28 -> memory_order_relaxed
29 wildcard 29 -> memory_order_relaxed
30 wildcard 30 -> memory_order_release
31 wildcard 31 -> memory_order_release
32 wildcard 32 -> memory_order_relaxed
33 wildcard 33 -> memory_order_relaxed
34 wildcard 34 -> memory_order_seq_cst
35 wildcard 35 -> memory_order_acquire
36 wildcard 36 -> memory_order_acquire
37 wildcard 37 -> memory_order_relaxed
38 wildcard 38 -> memory_order_acquire
39 wildcard 39 -> memory_order_seq_cst
40
41 Result 1:
42 wildcard 1 -> memory_order_relaxed
43 wildcard 2 -> memory_order_relaxed
44 wildcard 3 -> memory_order_relaxed
45 wildcard 4 -> memory_order_relaxed
46 wildcard 5 -> memory_order_relaxed
47 wildcard 6 -> memory_order_relaxed
48 wildcard 7 -> memory_order_release
49 wildcard 8 -> memory_order_seq_cst
50 wildcard 9 -> memory_order_relaxed
51 wildcard 10 -> memory_order_relaxed
52 wildcard 11 -> memory_order_relaxed
53 wildcard 12 -> memory_order_relaxed
54 wildcard 14 -> memory_order_release
55 wildcard 15 -> memory_order_relaxed
56 wildcard 16 -> memory_order_relaxed
57 wildcard 17 -> memory_order_relaxed
58 wildcard 18 -> memory_order_relaxed
59 wildcard 19 -> memory_order_relaxed
60 wildcard 20 -> memory_order_relaxed
61 wildcard 21 -> memory_order_relaxed
62 wildcard 22 -> memory_order_relaxed
63 wildcard 23 -> memory_order_release
64 wildcard 24 -> memory_order_relaxed
65 wildcard 25 -> memory_order_relaxed
66 wildcard 26 -> memory_order_relaxed
67 wildcard 27 -> memory_order_relaxed
68 wildcard 28 -> memory_order_relaxed
69 wildcard 29 -> memory_order_relaxed
70 wildcard 30 -> memory_order_release
71 wildcard 31 -> memory_order_release
72 wildcard 32 -> memory_order_relaxed
73 wildcard 33 -> memory_order_relaxed
74 wildcard 34 -> memory_order_seq_cst
75 wildcard 35 -> memory_order_acquire
76 wildcard 36 -> memory_order_acquire
77 wildcard 37 -> memory_order_relaxed
78 wildcard 38 -> memory_order_acquire
79 wildcard 39 -> memory_order_seq_cst
80
81 Result 2:
82 wildcard 1 -> memory_order_relaxed
83 wildcard 2 -> memory_order_relaxed
84 wildcard 3 -> memory_order_relaxed
85 wildcard 4 -> memory_order_relaxed
86 wildcard 5 -> memory_order_relaxed
87 wildcard 6 -> memory_order_relaxed
88 wildcard 7 -> memory_order_relaxed
89 wildcard 8 -> memory_order_seq_cst
90 wildcard 9 -> memory_order_acquire
91 wildcard 10 -> memory_order_relaxed
92 wildcard 11 -> memory_order_relaxed
93 wildcard 12 -> memory_order_relaxed
94 wildcard 14 -> memory_order_release
95 wildcard 15 -> memory_order_relaxed
96 wildcard 16 -> memory_order_relaxed
97 wildcard 17 -> memory_order_relaxed
98 wildcard 18 -> memory_order_relaxed
99 wildcard 19 -> memory_order_relaxed
100 wildcard 20 -> memory_order_relaxed
101 wildcard 21 -> memory_order_relaxed
102 wildcard 22 -> memory_order_relaxed
103 wildcard 23 -> memory_order_release
104 wildcard 24 -> memory_order_relaxed
105 wildcard 25 -> memory_order_acquire
106 wildcard 26 -> memory_order_relaxed
107 wildcard 27 -> memory_order_relaxed
108 wildcard 28 -> memory_order_relaxed
109 wildcard 29 -> memory_order_relaxed
110 wildcard 30 -> memory_order_relaxed
111 wildcard 31 -> memory_order_release
112 wildcard 32 -> memory_order_relaxed
113 wildcard 33 -> memory_order_relaxed
114 wildcard 34 -> memory_order_seq_cst
115 wildcard 35 -> memory_order_acquire
116 wildcard 36 -> memory_order_acquire
117 wildcard 37 -> memory_order_relaxed
118 wildcard 38 -> memory_order_relaxed
119 wildcard 39 -> memory_order_seq_cst
120
121 Result 3:
122 wildcard 1 -> memory_order_relaxed
123 wildcard 2 -> memory_order_relaxed
124 wildcard 3 -> memory_order_relaxed
125 wildcard 4 -> memory_order_relaxed
126 wildcard 5 -> memory_order_relaxed
127 wildcard 6 -> memory_order_relaxed
128 wildcard 7 -> memory_order_release
129 wildcard 8 -> memory_order_seq_cst
130 wildcard 9 -> memory_order_relaxed
131 wildcard 10 -> memory_order_relaxed
132 wildcard 11 -> memory_order_relaxed
133 wildcard 12 -> memory_order_relaxed
134 wildcard 14 -> memory_order_release
135 wildcard 15 -> memory_order_relaxed
136 wildcard 16 -> memory_order_relaxed
137 wildcard 17 -> memory_order_relaxed
138 wildcard 18 -> memory_order_relaxed
139 wildcard 19 -> memory_order_relaxed
140 wildcard 20 -> memory_order_relaxed
141 wildcard 21 -> memory_order_relaxed
142 wildcard 22 -> memory_order_relaxed
143 wildcard 23 -> memory_order_release
144 wildcard 24 -> memory_order_relaxed
145 wildcard 25 -> memory_order_acquire
146 wildcard 26 -> memory_order_relaxed
147 wildcard 27 -> memory_order_relaxed
148 wildcard 28 -> memory_order_relaxed
149 wildcard 29 -> memory_order_relaxed
150 wildcard 30 -> memory_order_relaxed
151 wildcard 31 -> memory_order_release
152 wildcard 32 -> memory_order_relaxed
153 wildcard 33 -> memory_order_relaxed
154 wildcard 34 -> memory_order_seq_cst
155 wildcard 35 -> memory_order_acquire
156 wildcard 36 -> memory_order_acquire
157 wildcard 37 -> memory_order_relaxed
158 wildcard 38 -> memory_order_relaxed
159 wildcard 39 -> memory_order_seq_cst
160
161 Result 4:
162 wildcard 1 -> memory_order_relaxed
163 wildcard 2 -> memory_order_relaxed
164 wildcard 3 -> memory_order_relaxed
165 wildcard 4 -> memory_order_relaxed
166 wildcard 5 -> memory_order_relaxed
167 wildcard 6 -> memory_order_relaxed
168 wildcard 7 -> memory_order_relaxed
169 wildcard 8 -> memory_order_seq_cst
170 wildcard 9 -> memory_order_acquire
171 wildcard 10 -> memory_order_relaxed
172 wildcard 11 -> memory_order_relaxed
173 wildcard 12 -> memory_order_acquire
174 wildcard 14 -> memory_order_relaxed
175 wildcard 15 -> memory_order_relaxed
176 wildcard 16 -> memory_order_relaxed
177 wildcard 17 -> memory_order_relaxed
178 wildcard 18 -> memory_order_relaxed
179 wildcard 19 -> memory_order_relaxed
180 wildcard 20 -> memory_order_relaxed
181 wildcard 21 -> memory_order_relaxed
182 wildcard 22 -> memory_order_relaxed
183 wildcard 23 -> memory_order_release
184 wildcard 24 -> memory_order_relaxed
185 wildcard 25 -> memory_order_relaxed
186 wildcard 26 -> memory_order_relaxed
187 wildcard 27 -> memory_order_relaxed
188 wildcard 28 -> memory_order_relaxed
189 wildcard 29 -> memory_order_relaxed
190 wildcard 30 -> memory_order_release
191 wildcard 31 -> memory_order_release
192 wildcard 32 -> memory_order_relaxed
193 wildcard 33 -> memory_order_relaxed
194 wildcard 34 -> memory_order_seq_cst
195 wildcard 35 -> memory_order_acquire
196 wildcard 36 -> memory_order_acquire
197 wildcard 37 -> memory_order_relaxed
198 wildcard 38 -> memory_order_acquire
199 wildcard 39 -> memory_order_seq_cst
200
201 Result 5:
202 wildcard 1 -> memory_order_relaxed
203 wildcard 2 -> memory_order_relaxed
204 wildcard 3 -> memory_order_relaxed
205 wildcard 4 -> memory_order_relaxed
206 wildcard 5 -> memory_order_relaxed
207 wildcard 6 -> memory_order_relaxed
208 wildcard 7 -> memory_order_release
209 wildcard 8 -> memory_order_seq_cst
210 wildcard 9 -> memory_order_relaxed
211 wildcard 10 -> memory_order_relaxed
212 wildcard 11 -> memory_order_relaxed
213 wildcard 12 -> memory_order_acquire
214 wildcard 14 -> memory_order_relaxed
215 wildcard 15 -> memory_order_relaxed
216 wildcard 16 -> memory_order_relaxed
217 wildcard 17 -> memory_order_relaxed
218 wildcard 18 -> memory_order_relaxed
219 wildcard 19 -> memory_order_relaxed
220 wildcard 20 -> memory_order_relaxed
221 wildcard 21 -> memory_order_relaxed
222 wildcard 22 -> memory_order_relaxed
223 wildcard 23 -> memory_order_release
224 wildcard 24 -> memory_order_relaxed
225 wildcard 25 -> memory_order_relaxed
226 wildcard 26 -> memory_order_relaxed
227 wildcard 27 -> memory_order_relaxed
228 wildcard 28 -> memory_order_relaxed
229 wildcard 29 -> memory_order_relaxed
230 wildcard 30 -> memory_order_release
231 wildcard 31 -> memory_order_release
232 wildcard 32 -> memory_order_relaxed
233 wildcard 33 -> memory_order_relaxed
234 wildcard 34 -> memory_order_seq_cst
235 wildcard 35 -> memory_order_acquire
236 wildcard 36 -> memory_order_acquire
237 wildcard 37 -> memory_order_relaxed
238 wildcard 38 -> memory_order_acquire
239 wildcard 39 -> memory_order_seq_cst
240
241 Result 6:
242 wildcard 1 -> memory_order_relaxed
243 wildcard 2 -> memory_order_relaxed
244 wildcard 3 -> memory_order_relaxed
245 wildcard 4 -> memory_order_relaxed
246 wildcard 5 -> memory_order_relaxed
247 wildcard 6 -> memory_order_relaxed
248 wildcard 7 -> memory_order_relaxed
249 wildcard 8 -> memory_order_seq_cst
250 wildcard 9 -> memory_order_acquire
251 wildcard 10 -> memory_order_relaxed
252 wildcard 11 -> memory_order_relaxed
253 wildcard 12 -> memory_order_acquire
254 wildcard 14 -> memory_order_relaxed
255 wildcard 15 -> memory_order_relaxed
256 wildcard 16 -> memory_order_relaxed
257 wildcard 17 -> memory_order_relaxed
258 wildcard 18 -> memory_order_relaxed
259 wildcard 19 -> memory_order_relaxed
260 wildcard 20 -> memory_order_relaxed
261 wildcard 21 -> memory_order_relaxed
262 wildcard 22 -> memory_order_relaxed
263 wildcard 23 -> memory_order_release
264 wildcard 24 -> memory_order_relaxed
265 wildcard 25 -> memory_order_acquire
266 wildcard 26 -> memory_order_relaxed
267 wildcard 27 -> memory_order_relaxed
268 wildcard 28 -> memory_order_relaxed
269 wildcard 29 -> memory_order_relaxed
270 wildcard 30 -> memory_order_relaxed
271 wildcard 31 -> memory_order_release
272 wildcard 32 -> memory_order_relaxed
273 wildcard 33 -> memory_order_relaxed
274 wildcard 34 -> memory_order_seq_cst
275 wildcard 35 -> memory_order_acquire
276 wildcard 36 -> memory_order_acquire
277 wildcard 37 -> memory_order_relaxed
278 wildcard 38 -> memory_order_relaxed
279 wildcard 39 -> memory_order_seq_cst
280
281 Result 7:
282 wildcard 1 -> memory_order_relaxed
283 wildcard 2 -> memory_order_relaxed
284 wildcard 3 -> memory_order_relaxed
285 wildcard 4 -> memory_order_relaxed
286 wildcard 5 -> memory_order_relaxed
287 wildcard 6 -> memory_order_relaxed
288 wildcard 7 -> memory_order_release
289 wildcard 8 -> memory_order_seq_cst
290 wildcard 9 -> memory_order_relaxed
291 wildcard 10 -> memory_order_relaxed
292 wildcard 11 -> memory_order_relaxed
293 wildcard 12 -> memory_order_acquire
294 wildcard 14 -> memory_order_relaxed
295 wildcard 15 -> memory_order_relaxed
296 wildcard 16 -> memory_order_relaxed
297 wildcard 17 -> memory_order_relaxed
298 wildcard 18 -> memory_order_relaxed
299 wildcard 19 -> memory_order_relaxed
300 wildcard 20 -> memory_order_relaxed
301 wildcard 21 -> memory_order_relaxed
302 wildcard 22 -> memory_order_relaxed
303 wildcard 23 -> memory_order_release
304 wildcard 24 -> memory_order_relaxed
305 wildcard 25 -> memory_order_acquire
306 wildcard 26 -> memory_order_relaxed
307 wildcard 27 -> memory_order_relaxed
308 wildcard 28 -> memory_order_relaxed
309 wildcard 29 -> memory_order_relaxed
310 wildcard 30 -> memory_order_relaxed
311 wildcard 31 -> memory_order_release
312 wildcard 32 -> memory_order_relaxed
313 wildcard 33 -> memory_order_relaxed
314 wildcard 34 -> memory_order_seq_cst
315 wildcard 35 -> memory_order_acquire
316 wildcard 36 -> memory_order_acquire
317 wildcard 37 -> memory_order_relaxed
318 wildcard 38 -> memory_order_relaxed
319 wildcard 39 -> memory_order_seq_cst