Versão do Windows do comando time?

Existe um comando embutido no windows semelhante ao comando time?

Eu estou procurando uma maneira de medir quanto tempo leva certas tarefas para executar e gostaria de usar algo mais preciso do que um cronômetro.

Existe um programa chamado timeit.exe incluído como parte do Windows 2003 Resource Kit , que é um download gratuito (e funciona bem no Win7, FWIW).

Há muitas opções complicadas para lidar com bancos de dados de tempo e coisas do tipo, mas a opção "-s" pula tudo isso e apenas informa a hora no final:

timeit -s command

Se você precisa se ater estritamente aos comandos internos, eu acho que você teria que criar um arquivo de lote com o seguinte e calcular a diferença de tempo mesmo (que é possível fazer no próprio arquivo de lote, mas muito complicado):

echo %DATE% %TIME%
command
echo %DATE% %TIME%

Você pode usar o cmdlet Get-Date no Powershell, mas se você estiver após a precisão em milissegundos, esse cmdlet não vai funcionar, pois retorna uma data e a hora atual para segundos.