Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
546 B · 11 lines
at develop
123456789101112\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}