Comment by wodenokoto

So we were just lucky that all non-halting programs of length 5 just happened to be provably non-halting?