celeriac-table.tex

%% DO NOT EDIT! THIS FILE IS AUTOMATICALLY GENERATED
\begin{tabular}{lccccccccccccccc}
\multicolumn{16}{c}{Behavior Inferred from Dynamic Traces} \\ \toprule
Contract Type & \multicolumn{3}{c}{Labs Framework} & \multicolumn{3}{c}{Mishra Reader} & \multicolumn{3}{c}{Sando} & \multicolumn{6}{c}{Quick Graph}\\
 & \multicolumn{3}{c}{ } & \multicolumn{3}{c}{View Models} & \multicolumn{3}{c}{Indexer} & \multicolumn{3}{c}{Algorithms} & \multicolumn{3}{c}{Collections}\\
 & {\tiny REQ} & {\tiny ENS} & {\tiny INV} & {\tiny REQ} & {\tiny ENS} & {\tiny INV} & {\tiny REQ} & {\tiny ENS} & {\tiny INV} & {\tiny REQ} & {\tiny ENS} & {\tiny INV} & {\tiny REQ} & {\tiny ENS} & {\tiny INV}\\ \midrule
Nullness & 1153 & 1265 & 235 & 2515 & 3169 & 449 & 506 & 705 & 212 & 424 & 255 & 65 & 424 & 255 & 65 \\
String Null/Blank & 102 & 387 & 44 & 70 & 593 & 26 & 194 & 492 & 2 &  &  &  &  &  &  \\
\rowcolor{Gray}
Ref/Val Eq. & 1 & 1868 &  & 42 & 5986 &  &  & 755 &  & 1 & 423 &  & 1 & 423 &  \\
\rowcolor{Gray}
Object Eq. &  & 497 &  & 5 & 2105 &  & 1 & 849 &  &  & 123 &  &  & 123 &  \\
Zero &  &  &  &  &  & 2 & 2 & 2 & 4 &  &  &  &  &  &  \\
Non-Negative &  &  &  &  &  &  &  &  &  &  &  &  &  &  &  \\
Positive &  &  &  &  &  &  & 10 & 10 & 3 & 4 & 9 &  & 4 & 9 &  \\
Expr. Comparison &  &  &  &  & 3 &  &  & 86 &  & 1 & 13 &  & 1 & 13 &  \\
\rowcolor{Gray}
Non-Empty & 4 & 1 & 4 & 34 & 40 & 5 & 22 & 23 & 7 &  &  &  &  &  &  \\
\rowcolor{Gray}
Bounds Check &  &  &  & 1 & 1 & 7 & 25 & 23 & 16 & 5 & 2 & 6 & 5 & 2 & 6 \\
\rowcolor{Gray}
Membership &  &  &  &  &  &  & 1 & 2 &  &  &  &  &  &  &  \\
\rowcolor{Gray}
ForAll & 9 & 49 &  & 437 & 552 & 54 & 227 & 532 & 293 & 1 & 1 &  & 1 & 1 &  \\
Indicator & 174 & 588 & 39 & 568 & 3031 & 142 & 112 & 481 & 27 &  &  &  &  &  &  \\
Implication &  & 101 &  &  & 379 &  &  & 18 &  &  & 92 &  &  & 92 &  \\
\bottomrule
\end{tabular}