Re: [MonetDB-users] measure performance time