X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2Fresult4.txt;h=463d1335b658be8ac8a11193dcbef050a0ae5aad;hb=d634d19b6134309ed0893c6fd58d815cbafecd16;hp=f34eab1c07a4689e3f9a5be81a9dd9becd24a6f4;hpb=7af936f607d179d4c9df6fa64df17cf30c6f8e59;p=model-checker-benchmarks.git diff --git a/chase-lev-deque-bugfix/result4.txt b/chase-lev-deque-bugfix/result4.txt index f34eab1..463d133 100644 --- a/chase-lev-deque-bugfix/result4.txt +++ b/chase-lev-deque-bugfix/result4.txt @@ -1,3 +1,12 @@ +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 @@ -5,7 +14,47 @@ 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 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_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 @@ -36,9 +85,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 1: +Result 2: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed wildcard 3 -> memory_order_relaxed @@ -47,11 +96,11 @@ 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 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 14 -> memory_order_relaxed wildcard 15 -> memory_order_relaxed wildcard 16 -> memory_order_relaxed wildcard 17 -> memory_order_relaxed @@ -76,9 +125,9 @@ 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 +wildcard 39 -> memory_order_seq_cst -Result 2: +Result 3: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed wildcard 3 -> memory_order_relaxed @@ -87,10 +136,10 @@ 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 9 -> memory_order_acquire wildcard 10 -> memory_order_relaxed wildcard 11 -> memory_order_relaxed -wildcard 12 -> memory_order_acquire +wildcard 12 -> memory_order_relaxed wildcard 14 -> memory_order_relaxed wildcard 15 -> memory_order_relaxed wildcard 16 -> memory_order_relaxed @@ -116,16 +165,16 @@ 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 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_relaxed +wildcard 7 -> memory_order_release wildcard 8 -> memory_order_seq_cst wildcard 9 -> memory_order_relaxed wildcard 10 -> memory_order_relaxed @@ -156,4 +205,44 @@ 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 +wildcard 39 -> memory_order_seq_cst + +Result 5: +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 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_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