Draw two independent random 64-bit values and check RAX == RBX.
Start auto-run to estimate how long a match would take.
RAX = α, RBX = β. Path constraint to reach target: α == β.