\begin{tabular}{lrrr}
\toprule
											& Full Reification   & \multicolumn{2}{l}{Half-Reification} \\
\midrule
 Constraints          & 7,085,131            & 7,030,942            & (-0.76\%)  \\
 Reifications         & 1,698,026            & 763,031             & (-55.06\%) \\
 Half-Reifications    & 0                  & 934,975             &           \\
 Implications Removed & 0                  & 54,169              &           \\
 Rewriting Time      & 575s               & 580s               & (0.93\%)   \\
\bottomrule
\end{tabular}
