This market resolves to the AI model that achieves the highest overall score on the AiderBench evaluation at the end of August on the leaderboard [here](https://aider.chat/docs/leaderboards/). Rankings with two models will not qualify. Models must be evaluated by AiderBench by the close date to qualify