changes
[model-checker-benchmarks.git] / concurrent-hashmap / result2.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_seq_cst
6 wildcard 6 -> memory_order_relaxed
7 wildcard 7 -> memory_order_relaxed
8 wildcard 9 -> memory_order_relaxed
9 wildcard 10 -> memory_order_relaxed
10 wildcard 11 -> memory_order_seq_cst
11 wildcard 13 -> memory_order_release