981329b98a6614b80800a5e88651aff68eb6baca
[model-checker-benchmarks.git] / doc / scanalysis_result.txt
1 Chase-Lev (buggy)       65              24              0.0020  0.10    68      3.0*10^-5       |       0.099   1953
2 Chase-Lev (correct)     49              1               0.0016  0.05    75      3.2*10^-5       |       0.050   1561
3 SPSC (buggy)            10              2               0.0003  0.01    26      2.5*10^-5       |       0.009   254
4 SPSC (correct)          15              0               0.0005  0.01    29      3.4*10^-5       |       0.013   509
5 Barrier                         7               0               0.0002  0.01    23      3.5*10^-5       |       0.007   245
6 Dekker                          2313    0               0.0793  9.51    52      3.4*10^-5       |       9.511   79343
7 MCS lock                        12609   0               0.3417  4.43    65      2.7*10^-5       |       4.432   341693
8 MPMC queue                      11306   6282    0.3593  9.90    49      3.2*10^-5       |       9.904   359345
9 M&S queue                       114             0               0.0029  0.06    55      2.5*10^-5       |       0.060   2854
10 Linux RW lock           1348    0               0.0272  13.06   30      2.0*10^-5       |       13.064  27211
11 Seqlock                         9124    0               0.4902  3.84    38      5.4*10^-5       |       3.838   490303
12
13 # All run with -m -y2 (also -u10 for chase-lev deque)
14 # We ran mpmc-queue-rdwr for mpmc queue
15 # Date: 08/07/2014 10:49am (PST)