Computational ergodicity of S4

It is known that there are four-manifolds which are not algorithmically recognizable. This implies that there exist triangulations of these manifolds which are separated by large barriers from the point of view of the computer algorithm. We have not observed these barriers for triangulations of S4.