Just wonder if the swebench submission use MCTS plugin

[zhimin-z]

Hi, I am wondering if the swe-bench submission uses MCTS plugin: https://github.com/SWE-bench/experiments/tree/main/evaluation/verified/20250611_moatless_claude-4-sonnet-20250514

I raise this question since I found there are a number of tree search nodes in the trajs. I appreciate it your feedback!