doc/scanalysis_result.txt

   1 Chase-Lev (buggy)       65              24      0.0021  0.13    68      3.2*10^-5
   2 Chase-Lev (correct)     49              1       0.0016  0.06    75      3.2*10^-5
   3 SPSC (buggy)            10              2       0.0002  0.03    26      1.7*10^-5
   4 SPSC (correct)          15              0       0.0004  0.03    29      2.7*10^-5
   5 Barrier                         7               0       0.0002  0.01    23      2.9*10^-5
   6 Dekker                          2313    0       0.0793  10.19   52      3.4*10^-5
   7 MCS lock                        12609   0       0.3409  4.85    65      2.7*10^-5
   8 MPMC queue                      11306
   9 M&S queue                       114
  10 Linux RW lock           1348
  11 Seqlock                         9124    0       0.4895  3.818   38      5.3*10^-5