the difference was about 15%.
That's the figure I vaguely remember from 5.6.1 vs. 5.6.2 days.
In reply to Re^4: Approaches to concurrency by BrowserUk in thread Approaches to concurrency by tex