Support for collecting statistics about the execution time of SPIN queries.