effort调节验证深度、边界探索和自主决策，可在同一缓存会话中切换。
推荐理由：约370次分档实验显示，max较low通过题数由140增至214，安全与硬件增幅最大；它买到的是验证和探索预算，不能挽救错误方向。
阅读原文