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