&
& \multicolumn{4}{c}{\textbf{CHESS DFS}}
& \multicolumn{3}{c}{\textbf{\psharp DFS scheduler}}
& \multicolumn{4}{c}{\textbf{\psharp random scheduler}}\\
\cmidrule(lr){3-6}
\cmidrule(lr){7-9}
\cmidrule(lr){10-13}


& &
& \multicolumn{1}{c}{\textbf{RD-on}}
& \multicolumn{1}{c}{\textbf{RD-off}}
& \multirow{2}{*}{\textbf{Bug}}
& &
& \multirow{2}{*}{\textbf{Bug}}
& & &
& \multirow{2}{*}{\textbf{Bug}} \\
\cmidrule(lr){4-4}
\cmidrule(lr){5-5}

\textbf{Benchmarks}
& \textbf{\#T}
& \multicolumn{1}{r}{\textbf{\#SP}}
& \multicolumn{1}{r}{\textbf{\#Sch/sec}}
& \multicolumn{1}{r}{\textbf{\#Sch/sec}}
& \multicolumn{1}{r}{\textbf{found?}}

& \multicolumn{1}{r}{\textbf{\#SP}}
& \multicolumn{1}{r}{\textbf{\#Sch/sec}}
& \multicolumn{1}{r}{\textbf{found?}}

& \multicolumn{1}{r}{\textbf{\#SP}}
& \multicolumn{1}{r}{\textbf{\%Buggy}}
& \multicolumn{1}{r}{\textbf{\#Sch/sec}}
& \multicolumn{1}{r}{\textbf{found?}}\\[0.3em]

\toprule

BoundedAsync
& 5

& \multicolumn{1}{r}{1127}
& \multicolumn{1}{r}{9.78}
& \multicolumn{1}{r}{36.23}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{198}
& \multicolumn{1}{r}{156.25}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{232}
& \multicolumn{1}{r}{6\%}
& \multicolumn{1}{r}{119.05}
& \multicolumn{1}{r}{\cmark}\\

German
& 6

& \multicolumn{1}{r}{156}
& \multicolumn{1}{r}{28.25}
& \multicolumn{1}{r}{85.47}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{28}
& \multicolumn{1}{r}{333.33}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{28}
& \multicolumn{1}{r}{22\%}
& \multicolumn{1}{r}{58.82}
& \multicolumn{1}{r}{\cmark}\\

BasicPaxos
& 10

& \multicolumn{1}{r}{1009}
& \multicolumn{1}{r}{9.07}
& \multicolumn{1}{r}{37.17}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{186}
& \multicolumn{1}{r}{131.58}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{92}
& \multicolumn{1}{r}{83\%}
& \multicolumn{1}{r}{136.99}
& \multicolumn{1}{r}{\cmark}\\

2PhaseCommit
& 8

& \multicolumn{1}{r}{281}
& \multicolumn{1}{r}{28.65}
& \multicolumn{1}{r}{76.34}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{52}
& \multicolumn{1}{r}{256.41}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{37}  
& \multicolumn{1}{r}{3\%} 
& \multicolumn{1}{r}{256.41} 
& \multicolumn{1}{r}{\cmark} \\

Chord
& 11

& \multicolumn{1}{r}{1312}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{\cmark}

& \multicolumn{1}{r}{222}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{\cmark}

& \multicolumn{1}{r}{312}
& \multicolumn{1}{r}{35\%}
& \multicolumn{1}{r}{102.04}
& \multicolumn{1}{r}{\cmark}\\

MultiPaxos
& 14

& \multicolumn{1}{r}{184}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{\cmark}

& \multicolumn{1}{r}{27}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{\cmark}

& \multicolumn{1}{r}{28}
& \multicolumn{1}{r}{89\%}
& \multicolumn{1}{r}{8.70}
& \multicolumn{1}{r}{\cmark}\\

Raft
& 14

& \multicolumn{1}{r}{336,616}
& \multicolumn{1}{r}{0.02}
& \multicolumn{1}{r}{0.15}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{61,197}
& \multicolumn{1}{r}{1.28}
& \multicolumn{1}{r}{\xmark}

& \multicolumn{1}{r}{61,322}
& \multicolumn{1}{r}{2\%}
& \multicolumn{1}{r}{0.89}
& \multicolumn{1}{r}{\cmark}\\

ChReplication
& 11

& \multicolumn{1}{r}{1416}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{\cmark}

& \multicolumn{1}{r}{238}
& \multicolumn{1}{r}{-}
& \multicolumn{1}{r}{\cmark}

& \multicolumn{1}{r}{257}
& \multicolumn{1}{r}{100\%}
& \multicolumn{1}{r}{112.36}
& \multicolumn{1}{r}{\cmark}\\