建兴九年（231年）春，亮复出祁山，以木牛运，粮尽退军。与魏将张郃交战，射杀郃。
且根据《三国志·李严传》的说法，诸葛亮之所以粮尽退军，这其中还有李严运粮不继的原因在内。《三国志·蜀书·李严传》：九年春，亮军祁山，平（此时李严已改名为李平）催督运事。秋夏之际，值天霖雨，运粮不继，平遣参军狐忠、督军陈藩喻指，呼亮来还；亮承以退军。[16]陈寿的《三国志》乃西晋时期编著，亦存在为司马懿隐瞒败绩的可能性，此等春秋笔法，不可尽数。因此此战究竟是司马懿击败蜀军，斩俘万计，还是蜀军曾在卤城击败过司马懿，众说纷纭。
6
艺术形象
游戏形象
边锋《三国杀》：司马懿
日本KOEI（现KOEI TECMO）公司《真·三国无双》系列：司马懿
腾讯《王者荣耀》：司马懿
影视形象
类别 内容
电视剧 1985年：《诸葛亮》，扮演者：王振荣1985年：《诸葛亮》，扮演者：金童1994年：《三国演义》，扮演者：唐振环、魏宗万1996年：《三国英雄传之关公》，扮演者：游天龙1999年：《曹操》，扮演者：待考2002年：《洛神》，扮演者：郑子诚2004年：《武圣关公》，扮演者：史道元2010年：《三国》，扮演者：倪大红2011年：《回到三国》，扮演者：李天翔2013年：《曹操》，扮演者：胡小猛2016年：《一统三国》，扮演者：王学圻2017年：《大军师司马懿之军师联盟》，扮演者：吴秀波2017年：《大军师司马懿之虎啸龙吟》，扮演者：吴秀波2018年：《三国机密》，扮演者：韩东君
电影 1996年：《诸葛孔明》，扮演者：郭连文