[Veedrac]

> I wonder how much that is reduced by starting off with more likely combinations, e.g. "1111", "1234", "9999".

Doing a graphical integration on

http://www.datagenetics.com/blog/september32012/c.png

(source: http://www.datagenetics.com/blog/september32012/)

I get ~28 hours.