Sean Kelly wrote: > to ensure a correct result.
According to Andrei's paper, there is no ensurance of a correct result possible. If optimizations reduce runtime, then not only MTBF will be reduced, but some problems might turn out to be incomputable on that "optimized machine". Nobody will know in advance which problems that are. Of course: this holds only if Andrei's conclusions in his paper are correct. -manfred
