The Conjecture has been numerically checked for a large range of
values of n.
It is an interesting problem to find efficient algorithms to test the
conjecture on a computer.
The current record for verifying the Conjecture seems to be held
by Nabuo Yoneda at the University of Tokyo,
who has reportedly checked it for all
[2].
In several places the statement appears that A. S. Fraenkel has checked that
all have a finite total stopping time;
this statement is erroneous [32].
Annotation Form Interface