\begin{tabular}{llll}
\toprule
                      & Full Reification   & \multicolumn{2}{l}{Half Reification} \\
\midrule
 Constraints          & 11,351,946           & 10,959,348           & (-3.46\%)  \\
 Reifications         & 552,928             & 357,022             & (-35.43\%) \\
 Half Reifications    & 171,258             & 281,655             &           \\
 Implications Removed & 0                  & 0                  &           \\
 Rewriting Time       & 1586s              & 1583s              & (-0.18\%)  \\
\bottomrule
\end{tabular}
