raw elimination-backoff code from paper
[model-checker-benchmarks.git] / concurrent-hashmap / 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 6 -> memory_order_relaxed
7 wildcard 7 -> memory_order_relaxed
8 wildcard 9 -> memory_order_relaxed
9 wildcard 13 -> memory_order_release