曹爽传：正始五年，爽乃西至长安，大发卒六七万人，从骆谷入。是时，关中及氐、羌转输不能供，牛马骡驴多死，民夷号泣道路。入谷行数百里，贼因山为固，兵不得进。爽参军杨伟为爽陈形势，宜急还，不然将败。飏与伟争於爽前，伟曰："飏、胜将败国家事，可斩也。"爽不悦，乃引军还。
汉晋春秋曰：司马宣王谓夏侯玄曰："春秋责大德重，昔武皇帝再入汉中，几至大败，君所知也。今兴平路势至险，蜀已先据；若进不获战，退见徼绝，覆军必矣。将何以任其责！"玄惧，言於爽，引军退。费祎进兵据三岭以截爽，爽争崄苦战，仅乃得过。所发牛马运转者，死失略尽，羌、胡怨叹，而关右悉虚耗矣。
曹爽率领七万大军攻蜀，却被王平抵挡，费祎包了饺子，我想猜测这场战役对于季汉来说，会不会也有上万的收获？
爽争崄苦战，仅乃得过。所发牛马运转者，死失略尽，羌、胡怨叹，而关右悉虚耗矣。
特别是这个记载，感觉这场战役要是死千来个人，不会闹腾出这样的动静吧？