Initially I aimed to test with at least 10 formulas for each model for SAT/UNSAT, but it turned out to be more expensive than I expected, so I tested ~5 formulas for each case/model. First, I used the openrouter API to automate the process, but I experienced response stops in the middle due to long reasoning process, so I reverted to using the chat interface (I don't if this was a problem from the model provider or if it's an openrouter issue). For this reason I don't have standard outputs for each testing, but I linked to the output for each case I mentioned in results.
考古学家袁靖认为：“先秦时期，马主要有三大用途：一是作为彰显地位的随葬品和祭祀品；二是作为挽车畜力，用于拉车、车战或驮物；三是用于骑乘，主要应用于战场。”春秋战国时期，孙阳（伯乐）擅长相马，马王堆汉墓出土有帛书《相马经》。从西汉景帝时期开始，逐渐出现“众庶街巷有马，阡陌之间成群”的景象，马的重要性日益凸显。东魏邺城时期，贾思勰编著的《齐民要术》中不仅保存了部分《相马经》，还发展出相马五脏法，对于马的饲养及医治记载得丰富详实。
。Line官方版本下载是该领域的重要参考
ВСУ запустили «Фламинго» вглубь России. В Москве заявили, что это британские ракеты с украинскими шильдиками16:45，详情可参考同城约会
阿妈没再拦，只说她和我都不去。今年阿弟除夕值班没回来，年夜饭本来就少一个人，她不希望桌上再空位置。，这一点在快连下载安装中也有详细论述
‘부화방탕 대명사’ 북한 2인자 최룡해의 퇴장 [주성하의 ‘北토크’]