Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
569 B · 11 lines
at develop
123456789101112\begin{tabular}{lrrr}\toprule & Full Reification & \multicolumn{2}{l}{Half-Reification} \\\midrule Constraints & 11,880,863 & 10,990,943 & (-7.49\%) \\ Reifications & 3,786,613 & 2,570,378 & (-32.12\%) \\ Half-Reifications & 0 & 1,099,397 & \\ Implications Removed & 0 & 67,833 & \\ Rewriting Time & 3,223s & 3,279s & (1.73\%) \\\bottomrule\end{tabular}