Is Windows 10 using something else than w32time for time synchronization?

The tool w32tm can be used to configure the w32time service. Recently, I discovered that a stock Windows 10 (not domain joined), synchronizes its time, even if the w32time service is not running. Both, w32tm /query /status and w32tm /query /configuration return:

The following error occurred: The service has not been started. (0x80070426)

Get-Service w32time confirms this:

Status   Name               DisplayName
------   ----               -----------
Stopped  w32time            Windows Time

But in the GUI, I can configure time synchronization and see that it works:

So, is there any other time service than w32time available? If so, how can I configure it, without using the GUI? (PowerShell cmdlets, command line tools, registry (as last resort), …)

---

Additional findings:

There are two scheduled tasks that may correlate with the GUI settings:

Get-ScheduledTask | ? TaskName -like 'SynchronizeTime*' | Select-Object -ExpandProperty Actions -Property URI


URI              : MicrosoftWindowsTime SynchronizationSynchronizeTime
Id               :
Arguments        : start w32time task_started
Execute          : %windir%system32sc.exe
WorkingDirectory :
PSComputerName   :

URI              : MicrosoftWindowsTime ZoneSynchronizeTimeZone
Id               :
Arguments        :
Execute          : %windir%system32tzsync.exe
WorkingDirectory :
PSComputerName   :

The last run time seems to be within the last 7 days (so quite active). But both tasks have no trigger defined, so something else has to run them.

Pressing the "Sync now" button does not run any of the two tasks. The button seems to execute "C:WINDOWSsystem32SystemSettingsAdminFlows.exe" ForceTimeSync 1.

Remove-Item -Path "HKEY_LOCAL_MACHINESOFTWAREMicrosoftWindowsCurrentVersionDateTimeServers" 

Windows Registry Editor Version 5.00

[-HKEY_LOCAL_MACHINESOFTWAREMicrosoftWindowsCurrentVersionDateTimeServers]