Solver分析