This is the one of the very few tests for which Acacia+ performs much faster than Acacia-Bonsai, even with compositionality deactivated. My guess is that it boils down to the choice of critical inputs, so nothing we can do about it, but warrants an investigation nonetheless.
This is the one of the very few tests for which Acacia+ performs much faster than Acacia-Bonsai, even with compositionality deactivated. My guess is that it boils down to the choice of critical inputs, so nothing we can do about it, but warrants an investigation nonetheless.