Specify a group G and an endomorphism φ:G→G, and give two elements x1, x2 ∈ G. We will decide if x1 and x2 are twisted conjugate.
The NTWM is by Chris Putnam and Chris Staecker. Spinning dots graphic from MediaWiki commons, licenced CC-by-sa 2.5 by User:FlipDarius