Those kind of results are why I encourage copying past designs for new hardware projects in safety-critical space. Especially NonStop architecture, which is patent-free now. Take one of older ones, make it 32-64 bit, put modern interfaces on it, put it on an older SOI process node for reliability, optional lockstep, and the result should run very well for a very long time.