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

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