46078a83381d761a5bfec815e2a734a7bd9c9113
[model-checker-benchmarks.git] / chase-lev-deque-bugfix / result1.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 16 -> memory_order_relaxed
7 wildcard 17 -> memory_order_relaxed
8 wildcard 18 -> memory_order_relaxed
9 wildcard 19 -> memory_order_relaxed
10 wildcard 20 -> memory_order_relaxed
11 wildcard 23 -> memory_order_relaxed
12 wildcard 24 -> memory_order_relaxed
13 wildcard 25 -> memory_order_relaxed
14 wildcard 26 -> memory_order_relaxed
15 wildcard 27 -> memory_order_relaxed
16 wildcard 28 -> memory_order_relaxed
17 wildcard 29 -> memory_order_relaxed
18 wildcard 30 -> memory_order_relaxed
19 wildcard 31 -> memory_order_release
20 wildcard 32 -> memory_order_relaxed
21 wildcard 33 -> memory_order_relaxed
22 wildcard 34 -> memory_order_relaxed
23 wildcard 35 -> memory_order_acquire
24 wildcard 36 -> memory_order_relaxed
25 wildcard 37 -> memory_order_relaxed
26 wildcard 38 -> memory_order_relaxed
27 wildcard 39 -> memory_order_relaxed