changes
[model-checker-benchmarks.git] / ms-queue / result2.txt
1
2 Result 1:
3 wildcard 1 -> memory_order_relaxed
4 wildcard 2 -> memory_order_relaxed
5 wildcard 3 -> memory_order_acquire
6 wildcard 4 -> memory_order_relaxed
7 wildcard 5 -> memory_order_relaxed
8 wildcard 6 -> memory_order_acq_rel
9 wildcard 8 -> memory_order_relaxed
10 wildcard 9 -> memory_order_release
11 wildcard 11 -> memory_order_release
12 wildcard 13 -> memory_order_acquire
13 wildcard 14 -> memory_order_acquire
14 wildcard 15 -> memory_order_acquire
15 wildcard 16 -> memory_order_relaxed
16 wildcard 17 -> memory_order_release
17 wildcard 19 -> memory_order_release