Specify two groups G and H, two homomorphisms φ,ψ:G→H, and give two elements x1, x2 ∈ H. We will decide if x1 and x2 are doubly 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