X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2Fresult3.txt;h=84d5a2c25efcee2988a23a5482b5b6bf2709a24d;hb=0c0b00b61459795a2c3efff49189844f88057599;hp=61623bcff725888e22688a7bd959ba5ebf5baecd;hpb=7c7e31a160e2327090e2a4ed74d48fbae4ae20e9;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque-bugfix/result3.txt b/chase-lev-deque-bugfix/result3.txt
index 61623bc..84d5a2c 100644
--- a/chase-lev-deque-bugfix/result3.txt
+++ b/chase-lev-deque-bugfix/result3.txt
@@ -18,6 +18,8 @@ wildcard 17 -> memory_order_relaxed
 wildcard 18 -> memory_order_relaxed
 wildcard 19 -> memory_order_relaxed
 wildcard 20 -> memory_order_relaxed
+wildcard 21 -> memory_order_relaxed
+wildcard 22 -> memory_order_relaxed
 wildcard 23 -> memory_order_relaxed
 wildcard 24 -> memory_order_relaxed
 wildcard 25 -> memory_order_relaxed
@@ -34,7 +36,7 @@ wildcard 35 -> memory_order_acquire
 wildcard 36 -> memory_order_relaxed
 wildcard 37 -> memory_order_relaxed
 wildcard 38 -> memory_order_relaxed
-wildcard 39 -> memory_order_release
+wildcard 39 -> memory_order_seq_cst
 
 Result 1:
 wildcard 1 -> memory_order_relaxed
@@ -45,6 +47,46 @@ wildcard 5 -> memory_order_relaxed
 wildcard 6 -> memory_order_relaxed
 wildcard 7 -> memory_order_relaxed
 wildcard 8 -> memory_order_seq_cst
+wildcard 9 -> memory_order_acquire
+wildcard 10 -> memory_order_relaxed
+wildcard 11 -> memory_order_relaxed
+wildcard 12 -> memory_order_relaxed
+wildcard 14 -> memory_order_relaxed
+wildcard 15 -> memory_order_relaxed
+wildcard 16 -> memory_order_relaxed
+wildcard 17 -> memory_order_relaxed
+wildcard 18 -> memory_order_relaxed
+wildcard 19 -> memory_order_relaxed
+wildcard 20 -> memory_order_relaxed
+wildcard 21 -> memory_order_relaxed
+wildcard 22 -> memory_order_relaxed
+wildcard 23 -> memory_order_relaxed
+wildcard 24 -> memory_order_relaxed
+wildcard 25 -> memory_order_relaxed
+wildcard 26 -> memory_order_relaxed
+wildcard 27 -> memory_order_relaxed
+wildcard 28 -> memory_order_relaxed
+wildcard 29 -> memory_order_relaxed
+wildcard 30 -> memory_order_relaxed
+wildcard 31 -> memory_order_release
+wildcard 32 -> memory_order_relaxed
+wildcard 33 -> memory_order_relaxed
+wildcard 34 -> memory_order_seq_cst
+wildcard 35 -> memory_order_acquire
+wildcard 36 -> memory_order_relaxed
+wildcard 37 -> memory_order_relaxed
+wildcard 38 -> memory_order_relaxed
+wildcard 39 -> memory_order_seq_cst
+
+Result 2:
+wildcard 1 -> memory_order_relaxed
+wildcard 2 -> memory_order_relaxed
+wildcard 3 -> memory_order_relaxed
+wildcard 4 -> memory_order_relaxed
+wildcard 5 -> memory_order_relaxed
+wildcard 6 -> memory_order_relaxed
+wildcard 7 -> memory_order_relaxed
+wildcard 8 -> memory_order_seq_cst
 wildcard 9 -> memory_order_relaxed
 wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_relaxed
@@ -56,6 +98,8 @@ wildcard 17 -> memory_order_relaxed
 wildcard 18 -> memory_order_relaxed
 wildcard 19 -> memory_order_relaxed
 wildcard 20 -> memory_order_relaxed
+wildcard 21 -> memory_order_relaxed
+wildcard 22 -> memory_order_relaxed
 wildcard 23 -> memory_order_relaxed
 wildcard 24 -> memory_order_relaxed
 wildcard 25 -> memory_order_relaxed
@@ -72,4 +116,4 @@ wildcard 35 -> memory_order_acquire
 wildcard 36 -> memory_order_relaxed
 wildcard 37 -> memory_order_relaxed
 wildcard 38 -> memory_order_relaxed
-wildcard 39 -> memory_order_relaxed
+wildcard 39 -> memory_order_seq_cst