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.