Acontece que, como eu tinha configurado as configurações do IPv4 para que a NIC usasse valores estáticos, o Windows não reconstruiu completamente a tabela de roteamento quando reinicializei. Eu mudei o NIC para obter o seu endereço do servidor DHCP, que reconstruiu a tabela de roteamento, então eu o configurei novamente para valores estáticos e reiniciei. A tabela de roteamento está bem agora.