X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=chase-lev-deque-bugfix%2Fnote.txt;h=f54d934dca5f1ccf2fab8867b3bbed0674331732;hb=d634d19b6134309ed0893c6fd58d815cbafecd16;hp=1a38a48147d4e7bf0d6e435e873c700dc700166d;hpb=390a6072c0cd601ab6b1dac8a1322741fc02c144;p=model-checker-benchmarks.git

diff --git a/chase-lev-deque-bugfix/note.txt b/chase-lev-deque-bugfix/note.txt
index 1a38a48..f54d934 100644
--- a/chase-lev-deque-bugfix/note.txt
+++ b/chase-lev-deque-bugfix/note.txt
@@ -60,3 +60,15 @@ fences.
 ##################################################
 testcase5.c is a testcase that has 2 threads, 1 of which has 1 steal() and the
 other has 3 push() followed by 2 take().
+
+
+By running our testcases from 1-6, it took:
+0m0.013s (testcase1)
+0m0.028s (testcase2)
+0m6.264s (testcase3)
+0m0.824s (testcase4)
+0m0.054s (testcase5)
+9m19.887s (testcase6)
+
+In total: 9m27.02s
+