Re: [MonetDB-users] how to measure a query execution time