\begin{tabular}{lrrr}
\toprule
											& Full Reification   & \multicolumn{2}{l}{Half Reification} \\
\midrule
 Constraints          & 7,654,088          & 7,310,851          & (-4.48\%)  \\
 Reifications         & 433,761            & 263,386            & (-39.28\%) \\
 Half Reifications    & 42,228             & 178,984            &           \\
 Implications Removed & 0                  & 0                  &           \\
 Rewriting Time      & 614s               & 604s               & (-1.76\%)  \\
\bottomrule
\end{tabular}
