We report on the 2018 edition of the Confluence Competition,a competition of software tools that aim to (dis)prove confluence andrelated properties of rewrite systems automatically.
