That seems fair, though it might be better to use average story karma. The bots in question probably have a fair amount of karma just from the sheer number of stories submitted.
Multiply the value by their average. It boosts overall submission quality automatically by giving better commenters more chances for a front page article.
edit: Though the value would need to be much lower than 20 per karma with that modifier. My average of 2.73 with 2011 karma would let me post as much as I want.
karma * 3.7 * average would come to around 20,000 for me. That would let me submit an article every 18 hours.
edit: Though the value would need to be much lower than 20 per karma with that modifier. My average of 2.73 with 2011 karma would let me post as much as I want.
karma * 3.7 * average would come to around 20,000 for me. That would let me submit an article every 18 hours.