Identities in twisted Brauer monoids

We show that it is co-NP-hard to check whether a given semigroup identity holds in the twisted Brauer monoid ${\mathcal{B}}_n^{\tau }$ with $n\ge 5$.