Oh okay, I see it now. Because the results override feature is turned off to resolve the issue with the filter not showing up, the search only redirects to the results page, but does not initiate an override. That means, the standard search results are displayed, which can be different.
The number can still vary a bit even if the override is active, because that is only a quick approximation for faster live search results.