X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=doc%2Fscanalysis_result.txt;fp=doc%2Fscanalysis_result.txt;h=c93472abc9b0bd918e8dfdd3f02272da5caa355d;hp=0000000000000000000000000000000000000000;hb=cec79cfe07dea7f730f0f0c928a34689f2119809;hpb=bd72205f6e95bd471c13dcf74476d44b40e9a56d

diff --git a/doc/scanalysis_result.txt b/doc/scanalysis_result.txt
new file mode 100644
index 0000000..c93472a
--- /dev/null
+++ b/doc/scanalysis_result.txt
@@ -0,0 +1,11 @@
+Chase-Lev (buggy)	65		24	0.0021	0.13	68	3.2*10^-5
+Chase-Lev (correct)	49		1	0.0016	0.06	75	3.2*10^-5
+SPSC (buggy)		10		2	0.0002	0.03	26	1.7*10^-5
+SPSC (correct)		15		0	0.0004	0.03	29	2.7*10^-5
+Barrier				7		0	0.0002	0.01	23	2.9*10^-5
+Dekker				2313	0	0.0793	10.19	52	3.4*10^-5	
+MCS lock			12609	0	0.3409	4.85	65	2.7*10^-5
+MPMC queue			11306
+M&S queue			114
+Linux RW lock		1348
+Seqlock				9124	0	0.4895	3.818	38	5.3*10^-5