ms-queue result

[model-checker-benchmarks.git] / ms-queue / note.txt

diff --git a/ms-queue/note.txt b/ms-queue/note.txt
index eb2b99513de38b680b9f7bb42fb2f19cbb2a80a4..00a645cd1e83f7f5766dbffc6b3cd3e1fd8c7148 100644 (file)
--- a/ms-queue/note.txt
+++ b/ms-queue/note.txt
@@ -4,3 +4,9 @@ result2.txt. We can't infer the wildcard(4) to be acquire because we can't reach
 "that case"!!! 
 See
 http://stackoverflow.com/questions/3873689/lock-free-queue-algorithm-repeated-reads-for-consistency
+
+
+result1.txt -> 0m14.826s
+result2.txt -> 0m1.289s
+
+total -> 0m 16.115