61623bcff725888e22688a7bd959ba5ebf5baecd
[model-checker-benchmarks.git] / chase-lev-deque-bugfix / result3.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_relaxed
11 wildcard 10 -> memory_order_relaxed
12 wildcard 11 -> memory_order_relaxed
13 wildcard 12 -> memory_order_acquire
14 wildcard 14 -> memory_order_relaxed
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 23 -> memory_order_relaxed
22 wildcard 24 -> memory_order_relaxed
23 wildcard 25 -> memory_order_relaxed
24 wildcard 26 -> memory_order_relaxed
25 wildcard 27 -> memory_order_relaxed
26 wildcard 28 -> memory_order_relaxed
27 wildcard 29 -> memory_order_relaxed
28 wildcard 30 -> memory_order_relaxed
29 wildcard 31 -> memory_order_release
30 wildcard 32 -> memory_order_relaxed
31 wildcard 33 -> memory_order_relaxed
32 wildcard 34 -> memory_order_seq_cst
33 wildcard 35 -> memory_order_acquire
34 wildcard 36 -> memory_order_relaxed
35 wildcard 37 -> memory_order_relaxed
36 wildcard 38 -> memory_order_relaxed
37 wildcard 39 -> memory_order_release
38
39 Result 1:
40 wildcard 1 -> memory_order_relaxed
41 wildcard 2 -> memory_order_relaxed
42 wildcard 3 -> memory_order_relaxed
43 wildcard 4 -> memory_order_relaxed
44 wildcard 5 -> memory_order_relaxed
45 wildcard 6 -> memory_order_relaxed
46 wildcard 7 -> memory_order_relaxed
47 wildcard 8 -> memory_order_seq_cst
48 wildcard 9 -> memory_order_relaxed
49 wildcard 10 -> memory_order_relaxed
50 wildcard 11 -> memory_order_relaxed
51 wildcard 12 -> memory_order_relaxed
52 wildcard 14 -> memory_order_release
53 wildcard 15 -> memory_order_relaxed
54 wildcard 16 -> memory_order_relaxed
55 wildcard 17 -> memory_order_relaxed
56 wildcard 18 -> memory_order_relaxed
57 wildcard 19 -> memory_order_relaxed
58 wildcard 20 -> memory_order_relaxed
59 wildcard 23 -> memory_order_relaxed
60 wildcard 24 -> memory_order_relaxed
61 wildcard 25 -> memory_order_relaxed
62 wildcard 26 -> memory_order_relaxed
63 wildcard 27 -> memory_order_relaxed
64 wildcard 28 -> memory_order_relaxed
65 wildcard 29 -> memory_order_relaxed
66 wildcard 30 -> memory_order_relaxed
67 wildcard 31 -> memory_order_release
68 wildcard 32 -> memory_order_relaxed
69 wildcard 33 -> memory_order_relaxed
70 wildcard 34 -> memory_order_seq_cst
71 wildcard 35 -> memory_order_acquire
72 wildcard 36 -> memory_order_relaxed
73 wildcard 37 -> memory_order_relaxed
74 wildcard 38 -> memory_order_relaxed
75 wildcard 39 -> memory_order_relaxed