35.3.1.1. P51 benchmarks