X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=dekker-fences%2Fresult1.txt;h=908202a9f6ac0cbeae526235dbc72f490d670bdf;hb=refs%2Fheads%2Fnew-bench;hp=e351bc54cb75f76f77996e80aac5cf43f2a7d580;hpb=4accd45c5912fe2e0ea6f42d405ea9816b22e36b;p=model-checker-benchmarks.git

diff --git a/dekker-fences/result1.txt b/dekker-fences/result1.txt
index e351bc5..908202a 100644
--- a/dekker-fences/result1.txt
+++ b/dekker-fences/result1.txt
@@ -1,32 +1,11 @@
-Result 0:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-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_relaxed
-wildcard 9 -> memory_order_acquire
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_release
-wildcard 12 -> memory_order_relaxed
+peizhaoo@dw-2:~/test/model-checker-priv/model-checker-priv$
+time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -u3 -tSCFENCE &> /scratch/a
 
-Result 1:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-wildcard 3 -> memory_order_acquire
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_relaxed
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_release
-wildcard 12 -> memory_order_relaxed
+real	1m27.052s
+user	1m20.790s
+sys	0m6.189s
 
-Result 2:
+Result 0:
 wildcard 1 -> memory_order_relaxed
 wildcard 2 -> memory_order_seq_cst
 wildcard 3 -> memory_order_relaxed
@@ -37,47 +16,5 @@ wildcard 7 -> memory_order_relaxed
 wildcard 8 -> memory_order_relaxed
 wildcard 9 -> memory_order_acquire
 wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release
-
-Result 3:
-wildcard 1 -> memory_order_relaxed
-wildcard 2 -> memory_order_seq_cst
-wildcard 3 -> memory_order_acquire
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_relaxed
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release
-
-Result 4:
-wildcard 1 -> memory_order_seq_cst
-wildcard 2 -> memory_order_relaxed
-wildcard 3 -> memory_order_seq_cst
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_seq_cst
-wildcard 10 -> memory_order_relaxed
 wildcard 11 -> memory_order_release
 wildcard 12 -> memory_order_relaxed
-
-Result 5:
-wildcard 1 -> memory_order_seq_cst
-wildcard 2 -> memory_order_relaxed
-wildcard 3 -> memory_order_seq_cst
-wildcard 4 -> memory_order_relaxed
-wildcard 5 -> memory_order_relaxed
-wildcard 6 -> memory_order_relaxed
-wildcard 7 -> memory_order_relaxed
-wildcard 8 -> memory_order_relaxed
-wildcard 9 -> memory_order_seq_cst
-wildcard 10 -> memory_order_relaxed
-wildcard 11 -> memory_order_relaxed
-wildcard 12 -> memory_order_release