At least they claim that: «Quantum verifiability means the result can be repeated on our quantum computer — or any other of the same caliber — to get the same answer, confirming the result. This repeatable, beyond-classical computation is the basis for scalable verification.» (emph. mine)

But apparently they haven't demonstrated the actual portability between two different quantum computers.