command time --quiet -f '%E' "$@"