dekker.one
Jip Dekker's PhD Thesis
1\begin{tabular}{lrrr}
2\toprule
3 & Full Reification & \multicolumn{2}{l}{Half-Reification} \\
4\midrule
5 Constraints & 7,085,131 & 7,030,942 & (-0.76\%) \\
6 Reifications & 1,698,026 & 763,031 & (-55.06\%) \\
7 Half-Reifications & 0 & 934,975 & \\
8 Implications Removed & 0 & 54,169 & \\
9 Rewriting Time & 575s & 580s & (0.93\%) \\
10\bottomrule
11\end{tabular}