changes to linuxrwlock;
[model-checker-benchmarks.git] / linuxrwlocks / results.txt
1 Result 1:
2 wildcard 1 -> memory_order_relaxed
3 wildcard 3 -> memory_order_acquire
4 wildcard 4 -> memory_order_relaxed
5 wildcard 5 -> memory_order_relaxed
6 wildcard 6 -> memory_order_acquire
7 wildcard 7 -> memory_order_acquire
8 wildcard 8 -> memory_order_relaxed
9 wildcard 9 -> memory_order_relaxed
10 wildcard 10 -> memory_order_acquire
11 wildcard 11 -> memory_order_acquire
12 wildcard 12 -> memory_order_relaxed
13 wildcard 13 -> memory_order_relaxed
14 wildcard 14 -> memory_order_relaxed
15 wildcard 15 -> memory_order_release
16 wildcard 16 -> memory_order_release