+peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time
+./run.sh chase-lev-deque-bugfix/testcase4_wildcard -m2 -y -u3 -tSCFENCE -o
+fchase-lev-deque-bugfix/result3.txt -o weaken &> /scratch/a
+
+real 0m0.918s
+user 0m0.824s
+sys 0m0.080s
+
+
Result 0:
wildcard 1 -> memory_order_relaxed
wildcard 2 -> memory_order_relaxed
wildcard 4 -> memory_order_relaxed
wildcard 5 -> memory_order_relaxed
wildcard 6 -> memory_order_relaxed
-wildcard 7 -> 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 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
wildcard 35 -> memory_order_acquire
wildcard 36 -> memory_order_acquire
wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_acquire
+wildcard 38 -> memory_order_relaxed
wildcard 39 -> memory_order_seq_cst
Result 1:
wildcard 4 -> memory_order_relaxed
wildcard 5 -> memory_order_relaxed
wildcard 6 -> memory_order_relaxed
-wildcard 7 -> 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 22 -> memory_order_relaxed
wildcard 23 -> memory_order_release
wildcard 24 -> memory_order_relaxed
-wildcard 25 -> memory_order_acquire
+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 30 -> memory_order_release
wildcard 31 -> memory_order_release
wildcard 32 -> memory_order_relaxed
wildcard 33 -> memory_order_relaxed
wildcard 35 -> memory_order_acquire
wildcard 36 -> memory_order_acquire
wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_relaxed
+wildcard 38 -> memory_order_acquire
wildcard 39 -> memory_order_seq_cst
Result 2:
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
wildcard 35 -> memory_order_acquire
wildcard 36 -> memory_order_acquire
wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_acquire
+wildcard 38 -> memory_order_relaxed
wildcard 39 -> memory_order_seq_cst
Result 3:
wildcard 22 -> memory_order_relaxed
wildcard 23 -> memory_order_release
wildcard 24 -> memory_order_relaxed
-wildcard 25 -> memory_order_acquire
+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 30 -> memory_order_release
wildcard 31 -> memory_order_release
wildcard 32 -> memory_order_relaxed
wildcard 33 -> memory_order_relaxed
wildcard 35 -> memory_order_acquire
wildcard 36 -> memory_order_acquire
wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_relaxed
+wildcard 38 -> memory_order_acquire
wildcard 39 -> memory_order_seq_cst
Result 4:
wildcard 4 -> memory_order_relaxed
wildcard 5 -> memory_order_relaxed
wildcard 6 -> memory_order_relaxed
-wildcard 7 -> 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 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
wildcard 35 -> memory_order_acquire
wildcard 36 -> memory_order_acquire
wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_acquire
+wildcard 38 -> memory_order_relaxed
wildcard 39 -> memory_order_seq_cst
Result 5:
wildcard 4 -> memory_order_relaxed
wildcard 5 -> memory_order_relaxed
wildcard 6 -> memory_order_relaxed
-wildcard 7 -> 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 22 -> memory_order_relaxed
wildcard 23 -> memory_order_release
wildcard 24 -> memory_order_relaxed
-wildcard 25 -> memory_order_acquire
+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 30 -> memory_order_release
wildcard 31 -> memory_order_release
wildcard 32 -> memory_order_relaxed
wildcard 33 -> memory_order_relaxed
wildcard 35 -> memory_order_acquire
wildcard 36 -> memory_order_acquire
wildcard 37 -> memory_order_relaxed
-wildcard 38 -> memory_order_relaxed
+wildcard 38 -> memory_order_acquire
wildcard 39 -> memory_order_seq_cst