changes

[model-checker-benchmarks.git] / linuxrwlocks / note.txt

diff --git a/linuxrwlocks/note.txt b/linuxrwlocks/note.txt
index 8f5a8af5879a0d5ac681081a6fa8251f108ad911..26dcd2df9c6cba778d25ade5c82fcab3f5a5c0a1 100644 (file)
--- a/linuxrwlocks/note.txt
+++ b/linuxrwlocks/note.txt
@@ -6,3 +6,8 @@ cases (plus corner cases) and then run each of them one after another.
 
 We ran testcase1 and then got inference result1.txt, then we ran testcase2 based
 on result1.txt, and we got result2.txt, which is the correct inference.
+
+result1.txt -> 1m56.110s
+result2.txt -> 0m0.207s
+
+total -> 1m56.317s