results for dekker-fences

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

diff --git a/dekker-fences/note.txt b/dekker-fences/note.txt
index 15f5b6be40c313c6bafddbdeaca3072fc42489fb..03b7632f873cd14114843880b61fd7a9a5d9adc2 100644 (file)
--- a/dekker-fences/note.txt
+++ b/dekker-fences/note.txt
@@ -3,6 +3,12 @@ dekker-fences-wildcard2 to get get result2.txt. In result2.txt, those results
 that do not impose ordering to fences should be dropped, so we got the correct
 result.
 
-./run.sh benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -x500 -tSCFENCE &> result1.txt
+time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard1 -m2 -y -u3 -tSCFENCE -o weaken &> /scratch/a
 
-./run.sh benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -x150 -tSCFENCE -o fresult1.txt
+We got result1.txt, and it took 1m20.790s.
+
+time ./run.sh benchmarks/dekker-fences/dekker-fences-wildcard2 -m2 -y -u3 -tSCFENCE -o weaken -o fbenchmarks/dekker-fences/result1.txt -x10000 &> /scratch/a
+
+We got result2.txt, and it took 5m19.538s
+
+In total, it took 6m40.328s.