monetdb performance Time measurement

hi: I am trying to measure query performance of monetdb, but not sure about the time output by using option -ims includes the query results printing time, or it is just the query time.

Is there some way to silence the output of queries?

Thanks.