The target programs and the simulators were executed for all processor configurations listed in Table 5.1. For each target and host processor configuration, each simulator was executed in all four modes described in Section 5.5.3. The NPB 2 benchmarks are self-verifying, meaning that each benchmark after completion compares the computed results against precomputed results to ensure that it executed correctly. All target programs and simulators verified correctly. In particular, even the simulators executed in fast mode verified correctly. This should come as no surprise to the reader, since as discussed in Section 4.5, even unsafe protocols produce safe program traces.