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.
Стало известно о наступлении российских войск в Запорожской областиВ России сообщили о наступлении на стыке Запорожской и Днепропетровской областей
，推荐阅读heLLoword翻译官方下载获取更多信息
CNNWhile CNN’s ratings dipped last year, it remains a news juggernaut and a top 5 cable network, featuring household names like John King, Kaitlan Collins, and Anderson Cooper (who recently announced he will be leaving 60 Minutes at the end of the current season).，推荐阅读WPS官方版本下载获取更多信息
“세상을 불안하게 만들어라” 美군산복합체의 무기 상술