Yep. Unless there is a bug in the bot or their implementation isn't as described, no one will crack it so its a very safe bet for them.
This contest basically admits its crackable for more than $300k as well. They even reduced the number of bits for a collision. :/