f1c01e6c19c72d18a03de11e8874746fc7d52986
[model-checker-benchmarks.git] / ms-queue / result1.txt
1 Result 0:
2 wildcard 1 -> memory_order_relaxed
3 wildcard 2 -> memory_order_relaxed
4 wildcard 3 -> memory_order_acquire
5 wildcard 4 -> memory_order_relaxed
6 wildcard 5 -> memory_order_relaxed
7 wildcard 6 -> memory_order_acq_rel
8 wildcard 8 -> memory_order_relaxed
9 wildcard 9 -> memory_order_release
10 wildcard 11 -> memory_order_release
11 wildcard 13 -> memory_order_relaxed
12 wildcard 14 -> memory_order_acquire
13 wildcard 15 -> memory_order_acquire
14 wildcard 16 -> memory_order_relaxed
15 wildcard 17 -> memory_order_release
16 wildcard 19 -> memory_order_relaxed
17 Result 1:
18 wildcard 1 -> memory_order_relaxed
19 wildcard 2 -> memory_order_relaxed
20 wildcard 3 -> memory_order_acquire
21 wildcard 4 -> memory_order_relaxed
22 wildcard 5 -> memory_order_relaxed
23 wildcard 6 -> memory_order_release
24 wildcard 8 -> memory_order_acquire
25 wildcard 9 -> memory_order_release
26 wildcard 11 -> memory_order_release
27 wildcard 13 -> memory_order_relaxed
28 wildcard 14 -> memory_order_acquire
29 wildcard 15 -> memory_order_acquire
30 wildcard 16 -> memory_order_relaxed
31 wildcard 17 -> memory_order_release
32 wildcard 19 -> memory_order_relaxed
33 Result 2:
34 wildcard 1 -> memory_order_relaxed
35 wildcard 2 -> memory_order_relaxed
36 wildcard 3 -> memory_order_acquire
37 wildcard 4 -> memory_order_relaxed
38 wildcard 5 -> memory_order_relaxed
39 wildcard 6 -> memory_order_acq_rel
40 wildcard 8 -> memory_order_relaxed
41 wildcard 9 -> memory_order_acq_rel
42 wildcard 11 -> memory_order_release
43 wildcard 13 -> memory_order_relaxed
44 wildcard 14 -> memory_order_acquire
45 wildcard 15 -> memory_order_acquire
46 wildcard 16 -> memory_order_relaxed
47 wildcard 17 -> memory_order_release
48 wildcard 19 -> memory_order_relaxed
49 Result 3:
50 wildcard 1 -> memory_order_relaxed
51 wildcard 2 -> memory_order_relaxed
52 wildcard 3 -> memory_order_acquire
53 wildcard 4 -> memory_order_relaxed
54 wildcard 5 -> memory_order_relaxed
55 wildcard 6 -> memory_order_release
56 wildcard 8 -> memory_order_acquire
57 wildcard 9 -> memory_order_acq_rel
58 wildcard 11 -> memory_order_release
59 wildcard 13 -> memory_order_relaxed
60 wildcard 14 -> memory_order_acquire
61 wildcard 15 -> memory_order_acquire
62 wildcard 16 -> memory_order_relaxed
63 wildcard 17 -> memory_order_release
64 wildcard 19 -> memory_order_relaxed