def execution_time(result):
    """Return the execution time of a query."""
    avail = result.summary().result_available_after
    cons = result.summary().result_consumed_after
    return avail + cons