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.
https://feedx.site，更多细节参见Safew下载
，更多细节参见Line官方版本下载
// 对start, start+gap, start+2gap, ... 这组进行插入排序
Unai Emery has seen most things in this game but he has never won at Wolves. In three and a half years at Villa, he has lost two and drawn one of his three games at Molineux. Twelve months ago they lost this fixture 2-0 and this week Emery shared his poor record to stress the difficulty of the challenge facing his side, particularly given they have won just one of their past five matches in all competitions. Emery even mentioned his visit to Wolverhampton with Arsenal in 2019, when his team trailed 3-0 at half-time and lost 3-1. For Emery, there is no better time to break his duck, with the schedule dictating that Villa could move nine points clear of fifth-placed Chelsea, who visit Villa on Wednesday, before Liam Rosenior’s side travel to Arsenal on Sunday. Victory would enhance Villa’s chances of returning to the Champions League but also pile pressure on direct rivals. Ben Fisher。关于这个话题，Line官方版本下载提供了深入分析