12 lines
557 B
TeX
12 lines
557 B
TeX
\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}
|