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