User blog comment:Wythagoras/A good bound for S(7)?/@comment-1605058-20140311182849

I ran the machine for 1 trillion steps and counting :)