I test Wikipedia's bots sometimes to see how quick they are. Even back in like.... 2008? They were pretty fast at fixing my purposely bad edits. I mean the fastest I ever seen them fix one was in mere seconds. The longest was probably 5 minutes tops.