While there is a slight trend in decreasing solving times with additional pre-processing, the time needed to apply the pre-processing itself dominates much of the runtime, especially on lower tree scales.
1
—
—
While there is a slight trend in decreasing solving times with additional pre-processing, the time needed to apply the pre-processing itself dominates much of the runtime, especially on lower tree scales.