X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=concurrent-hashmap%2Fresult2.txt;fp=concurrent-hashmap%2Fresult2.txt;h=c09db095fc87c962af9c8a4400d66dad57c3489a;hp=0000000000000000000000000000000000000000;hb=3cb559e8fea6c3839ed20d6a10a636d728cf8695;hpb=c046bae812a0dd4d54be2236487c112d36641538

diff --git a/concurrent-hashmap/result2.txt b/concurrent-hashmap/result2.txt
new file mode 100644
index 0000000..c09db09
--- /dev/null
+++ b/concurrent-hashmap/result2.txt
@@ -0,0 +1,11 @@
+Result 0:
+wildcard 1 -> memory_order_relaxed
+wildcard 2 -> memory_order_relaxed
+wildcard 3 -> memory_order_acquire
+wildcard 4 -> memory_order_seq_cst
+wildcard 6 -> memory_order_relaxed
+wildcard 7 -> memory_order_relaxed
+wildcard 9 -> memory_order_relaxed
+wildcard 10 -> memory_order_relaxed
+wildcard 11 -> memory_order_seq_cst
+wildcard 13 -> memory_order_release