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