There were several retargets and this bot still generates at this insane speed. Seems that additional work required to generate maps doesn't affect him.
I'm looking into potential bugs. There probably is one.
I think he may have added more hardware, and/or changed enumeration strategy.