司馬懿は蜀軍の陣地を破り、万余人を追撃して斬り、蜀軍を大破した。