Generic question: replication/sync between key servers, how long until published?

[michaelof at rocketmail.com]

Hi all,

published a revocation cert for a very long used old 1024 bit key plus a newly created 4096 bit key to http://keys.gnupg.net/. Visible after some minutes. 
Now, four days later, both keys are still not visible on e.g. https://pgp.ocf.berkeley.edu

Is this usually taking that long, or is something broken? 

Best Regards,
Michael