peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time
./run.sh chase-lev-deque-bugfix/testcase1_wildcard -m2 -y -u3 -tSCFENCE -o
weaken &> /scratch/a

real	0m0.032s
user	0m0.013s
sys	0m0.010s

Result 0:
wildcard 1 -> memory_order_relaxed
wildcard 2 -> memory_order_relaxed
wildcard 3 -> memory_order_relaxed
wildcard 4 -> 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 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_relaxed
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