On 2016-08-05 09:15 Paul <claws at thewildbeast.co.uk> wrote: > How much time are you talking about here, do you think? Depends on the machine and the data. But in the range of milliseconds.