peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time ./run.sh benchmarks/chase-lev-deque-bugfix/testcase6_wildcard -m2 -y -u3 -tSCFENCE -o file-benchmarks/chase-lev-deque-bugfix/result5.txt &> /scratch/a real 10m3.700s user 9m19.887s sys 0m43.309s Result 0: 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_release 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_seq_cst 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_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_release 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_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_release 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_acquire 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_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_release 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_seq_cst Result 3: 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_relaxed wildcard 14 -> memory_order_release wildcard 15 -> memory_order_release 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_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_release 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_acquire wildcard 39 -> memory_order_seq_cst