For the default password length of 10 characters they use ~60 bits of MD5 output. That's more than enough information to uniquely identify the master password.