PF-Matteo in realta' i server corretti sarebbero ntp1.inrim.it
e ntp2.inrim.it
...
time.inrim.it
o ntp.inrim.it
(stesso server) da qualche tempo viene indicato nella pagina ufficiale dei server NTP dell'INRIM (prima no), pero' a differenza degli altri due, questo NON fornisce il riferimento temporale ufficiale italiano (CTD, ossia Codice Telefonico di Data, ha ancora il nome originale di quando era fornito tramite modem dialup 😅) ma e' un server che si sincronizza con altri "a caso" su internet, come quelli della pool di ntp.org... Mai capito perche' 🤔