& & & & & & \multicolumn{4}{c}{\textbf{Non-racy versions}}
& \multicolumn{2}{c}{\textbf{Racy versions}}\\
\cmidrule(lr){7-10}
\cmidrule(lr){11-12}

& & & &
& & & \multicolumn{2}{c}{\textbf{\# False positives}}
& & & \multirow{2}{*}{\textbf{Found all}}\\
\cmidrule(lr){8-9}

& \textbf{Benchmarks}
& \textbf{LoC}
& \textbf{\#M}
& \textbf{\#ST}
& \textbf{\#AB}
& \multicolumn{1}{r}{\textbf{Time (s)}}
& \multicolumn{1}{r}{\textbf{(No xSA)}}
& \multicolumn{1}{r}{\textbf{(xSA)}}
& \multicolumn{1}{r}{\textbf{Verified?}}
& \multicolumn{1}{r}{\textbf{Time (s)}}
& \multicolumn{1}{r}{\textbf{data races?}}\\[0.3em]

\toprule

& \caseStudy
& 5,786
& 14
& 82
& 51
& \multicolumn{1}{r}{14.883}
& \multicolumn{1}{r}{6}
& \multicolumn{1}{r}{2}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{-}\\

\midrule

\parbox[t]{2mm}{\multirow{8}{*}{\rotatebox[origin=c]{90}{\textbf{\benchmarkSuite}}}}
& BoundedAsync
& 416
& 2
& 8
& 4
& \multicolumn{1}{r}{8.197}
& \multicolumn{1}{r}{1}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{8.875}
& \multicolumn{1}{r}{\cmark}\\

& German
& 718
& 3
& 35
& 6
& \multicolumn{1}{r}{9.164}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{9.137}
& \multicolumn{1}{r}{\cmark}\\

& BasicPaxos
& 865
& 5
& 16
& 4
& \multicolumn{1}{r}{9.004}
& \multicolumn{1}{r}{2}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{9.894}
& \multicolumn{1}{r}{\cmark}\\

& 2PhaseCommit
& 983
& 6
& 17
& 12
& \multicolumn{1}{r}{8.810}
& \multicolumn{1}{r}{1}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{8.997}
& \multicolumn{1}{r}{\cmark}\\

& Chord
& 1,005
& 3
& 11
& 17
& \multicolumn{1}{r}{8.757}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{8.758}
& \multicolumn{1}{r}{\cmark}\\

& MultiPaxos
& 1,166
& 7
& 20
& 11
& \multicolumn{1}{r}{9.003}
& \multicolumn{1}{r}{10}
& \multicolumn{1}{r}{5}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{8.858}
& \multicolumn{1}{r}{\cmark}\\

& Raft
& 1,249
& 4
& 12
& 33
& \multicolumn{1}{r}{8.786}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{8.801}
& \multicolumn{1}{r}{\cmark}\\

& ChReplication
& 2,004
& 10
& 38
& 27
& \multicolumn{1}{r}{9.451}
& \multicolumn{1}{r}{4}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{9.916}
& \multicolumn{1}{r}{\cmark}\\[0.2em]

\midrule

\parbox[t]{2mm}{\multirow{4}{*}{\rotatebox[origin=c]{90}{\textbf{\soterSuite}}}}
& Leader
& 275
& 2
& 3
& 2
& \multicolumn{1}{r}{8.358}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{-}\\

& Pi
& 330
& 3
& 3
& 4
& \multicolumn{1}{r}{8.996}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{-}\\

& Chameneos
& 536
& 2
& 4
& 13
& \multicolumn{1}{r}{9.105}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{-}\\

& Swordfish
& 2,286
& 6
& 66
& 25
& \multicolumn{1}{r}{9.421}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\xmark}
& \multicolumn{1}{r}{\cmark}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{-}\\[0.2em]