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.
从接近蜜雪人士处获悉，蜜雪冰城全国首家“雪王室内乐园”项目位于河南郑州集团总部，目前各项工作正稳步推进中。据介绍，乐园以雪王IP为核心，打造充满甜蜜与奇幻的雪王世界。规划多个室内主题体验区，深度融合蜜雪冰城全球总部、全球旗舰店与主题乐园三大场景，打造“游玩+购物+体验”三位一体的体验体系。（大河财立方），详情可参考safew官方下载
"It was a lot of trial and error."，这一点在heLLoword翻译官方下载中也有详细论述
Банда угрожала иностранцу ножом и украла пять миллионов рублей из его дома в ТаиландеМужчины проникли в дом и украли из сейфа пары пять миллионов рублей в Таиланде
After realizing that re-creating the entire continent was too lofty a goal, the group decided to instead focus on the rest of the Morrowind province alone—but that didn’t last long.