Basically yes.
And i think since robots.txt is a rulebook for either all bots, or specific ones, if they are not following the rules you set, they should be banned,
I hope you did not set crawl delay for all to 20. If you did that, it might interfere with the bots that actually follow the rules such as google and bing.