changes

[model-checker-benchmarks.git] / chase-lev-deque-bugfix / result5.txt

diff --git a/chase-lev-deque-bugfix/result5.txt b/chase-lev-deque-bugfix/result5.txt
index 1068f1ec59f8519366c501b41a2f6942788241aa..d7eab19b708ff91afc41dde561c22505815baa04 100644 (file)
--- a/chase-lev-deque-bugfix/result5.txt
+++ b/chase-lev-deque-bugfix/result5.txt
@@ -5,93 +5,13 @@ wildcard 3 -> memory_order_relaxed
 wildcard 4 -> memory_order_relaxed
 wildcard 5 -> memory_order_relaxed
 wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_release
-wildcard 8 -> memory_order_seq_cst
-wildcard 9 -> memory_order_relaxed
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_acquire
-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_release
-wildcard 24 -> memory_order_relaxed
-wildcard 25 -> memory_order_acquire
-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_acquire
-wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_relaxed
-wildcard 39 -> memory_order_release
-
-Result 1:
-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_acquire
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_acquire
-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_release
-wildcard 24 -> memory_order_relaxed
-wildcard 25 -> memory_order_acquire
-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_acquire
-wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_relaxed
-wildcard 39 -> memory_order_release
-
-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_release
-wildcard 8 -> memory_order_seq_cst
 wildcard 9 -> memory_order_relaxed
 wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_relaxed
 wildcard 12 -> memory_order_acquire
-wildcard 14 -> memory_order_relaxed
+wildcard 14 -> memory_order_release
 wildcard 15 -> memory_order_relaxed
 wildcard 16 -> memory_order_relaxed
 wildcard 17 -> memory_order_relaxed
@@ -116,9 +36,9 @@ wildcard 35 -> memory_order_acquire
 wildcard 36 -> memory_order_acquire
 wildcard 37 -> memory_order_relaxed
 wildcard 38 -> memory_order_acquire
-wildcard 39 -> memory_order_release
+wildcard 39 -> memory_order_seq_cst
 
-Result 3:
+Result 1:
 wildcard 1 -> memory_order_relaxed
 wildcard 2 -> memory_order_relaxed
 wildcard 3 -> memory_order_relaxed
@@ -130,8 +50,8 @@ 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_acquire
-wildcard 14 -> memory_order_relaxed
+wildcard 12 -> memory_order_relaxed
+wildcard 14 -> memory_order_release
 wildcard 15 -> memory_order_relaxed
 wildcard 16 -> memory_order_relaxed
 wildcard 17 -> memory_order_relaxed
@@ -156,49 +76,9 @@ wildcard 35 -> memory_order_acquire
 wildcard 36 -> memory_order_acquire
 wildcard 37 -> memory_order_relaxed
 wildcard 38 -> memory_order_acquire
-wildcard 39 -> memory_order_release
+wildcard 39 -> memory_order_seq_cst
 
-Result 4:
-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_release
-wildcard 8 -> memory_order_seq_cst
-wildcard 9 -> memory_order_relaxed
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_relaxed
-wildcard 14 -> memory_order_release
-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_release
-wildcard 24 -> memory_order_relaxed
-wildcard 25 -> memory_order_acquire
-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_acquire
-wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_relaxed
-wildcard 39 -> memory_order_release
-
-Result 5:
+Result 2:
 wildcard 1 -> memory_order_relaxed
 wildcard 2 -> memory_order_relaxed
 wildcard 3 -> memory_order_relaxed
@@ -207,52 +87,12 @@ 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_release
-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_release
-wildcard 24 -> memory_order_relaxed
-wildcard 25 -> memory_order_acquire
-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_acquire
-wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_relaxed
-wildcard 39 -> memory_order_release
-
-Result 6:
-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_release
-wildcard 8 -> memory_order_seq_cst
 wildcard 9 -> memory_order_relaxed
 wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_relaxed
 wildcard 12 -> memory_order_relaxed
 wildcard 14 -> memory_order_release
-wildcard 15 -> memory_order_relaxed
+wildcard 15 -> memory_order_release
 wildcard 16 -> memory_order_relaxed
 wildcard 17 -> memory_order_relaxed
 wildcard 18 -> memory_order_relaxed
@@ -276,9 +116,9 @@ wildcard 35 -> memory_order_acquire
 wildcard 36 -> memory_order_acquire
 wildcard 37 -> memory_order_relaxed
 wildcard 38 -> memory_order_acquire
-wildcard 39 -> memory_order_relaxed
+wildcard 39 -> memory_order_seq_cst
 
-Result 7:
+Result 3:
 wildcard 1 -> memory_order_relaxed
 wildcard 2 -> memory_order_relaxed
 wildcard 3 -> memory_order_relaxed
@@ -287,7 +127,7 @@ 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 9 -> memory_order_relaxed
 wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_relaxed
 wildcard 12 -> memory_order_relaxed
@@ -302,12 +142,12 @@ wildcard 21 -> memory_order_relaxed
 wildcard 22 -> memory_order_relaxed
 wildcard 23 -> memory_order_release
 wildcard 24 -> memory_order_relaxed
-wildcard 25 -> memory_order_relaxed
+wildcard 25 -> memory_order_acquire
 wildcard 26 -> memory_order_relaxed
 wildcard 27 -> memory_order_relaxed
 wildcard 28 -> memory_order_relaxed
 wildcard 29 -> memory_order_relaxed
-wildcard 30 -> memory_order_release
+wildcard 30 -> memory_order_relaxed
 wildcard 31 -> memory_order_release
 wildcard 32 -> memory_order_relaxed
 wildcard 33 -> memory_order_relaxed
@@ -315,5 +155,5 @@ wildcard 34 -> memory_order_seq_cst
 wildcard 35 -> memory_order_acquire
 wildcard 36 -> memory_order_acquire
 wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_acquire
-wildcard 39 -> memory_order_release
+wildcard 38 -> memory_order_relaxed
+wildcard 39 -> memory_order_seq_cst