I noticed they compared with the previous best deepseek model, 4 pro 0813 for the two coding benchmarks (DeepSWE and Terminal Bench) and not Deepseek 4.1 flash. A glaring omission really.