edits

[model-checker-benchmarks.git] / dekker-fences / result1.txt

diff --git a/dekker-fences/result1.txt b/dekker-fences/result1.txt
index e351bc54cb75f76f77996e80aac5cf43f2a7d580..908202a9f6ac0cbeae526235dbc72f490d670bdf 100644 (file)
--- 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