X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2Fresult6.txt;h=4218d43d2b02b80e1ecef160e2f6e1ece3d3cf84;hb=d634d19b6134309ed0893c6fd58d815cbafecd16;hp=142aa9e978c2864809a76bf457569caaf8405009;hpb=7c7e31a160e2327090e2a4ed74d48fbae4ae20e9;p=model-checker-benchmarks.git diff --git a/chase-lev-deque-bugfix/result6.txt b/chase-lev-deque-bugfix/result6.txt index 142aa9e..4218d43 100644 --- a/chase-lev-deque-bugfix/result6.txt +++ b/chase-lev-deque-bugfix/result6.txt @@ -1,3 +1,11 @@ +peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv/benchmarks$ time +./run.sh chase-lev-deque-bugfix/testcase6_wildcard -m2 -y -u3 -tSCFENCE -o +fchase-lev-deque-bugfix/result5.txt -o weaken &> /scratch/a + +real 10m3.700s +user 9m19.887s +sys 0m43.309s + Result 0: wildcard 1 -> memory_order_relaxed wildcard 2 -> memory_order_relaxed @@ -5,14 +13,14 @@ 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_acquire +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 @@ -22,12 +30,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 @@ -35,7 +43,7 @@ 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 38 -> memory_order_relaxed wildcard 39 -> memory_order_seq_cst Result 1: @@ -52,7 +60,7 @@ 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 @@ -92,7 +100,7 @@ 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 @@ -125,94 +133,14 @@ 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_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_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_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 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 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 @@ -237,83 +165,3 @@ wildcard 36 -> memory_order_acquire wildcard 37 -> memory_order_relaxed wildcard 38 -> memory_order_acquire wildcard 39 -> memory_order_seq_cst - -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_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_seq_cst - -Result 7: -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_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