batch-file - txt ソースからリストへのサーバーへの ping

Question

.txt ソース (testservers.txt) から複数のアドレスに ping を実行して、別の .txt ファイル (result.txt) に出力するために、stackoverflow からこのスクリプトを取得しました。

    @echo off
setlocal enabledelayedexpansion

set OUTPUT_FILE=result.txt
>nul copy nul %OUTPUT_FILE%
for /f %%i in (testservers.txt) do (
    set SERVER_ADDRESS=ADDRESS N/A
    for /f "tokens=1,2,3" %%x in ('ping -n 1 %%i ^&^& echo SERVER_IS_UP') do (
        if %%x==Pinging set SERVER_ADDRESS=%%y
        if %%x==Reply set SERVER_ADDRESS=%%z
        if %%x==SERVER_IS_UP (set SERVER_STATE=UP) else (set SERVER_STATE=DOWN)
    )
    echo %%i [!SERVER_ADDRESS::=!] is !SERVER_STATE! >>%OUTPUT_FILE%
)

サーバーの状態のみを一覧表示します。平均 ping 時間も表示するには、どのような変更を加える必要がありますか?

ありがとうございました。