Solution
Smart Logon doesn’t support domain user accounts, because it is not designed to work with a network.
Usernames displayed in the Smart Logon interface are local users (you can set users from the Control PanelàUser Account).
You cannot set domain user accounts to use Smart Logon, because it is only compatible with the OS, not a network.