添加多求解器后端,便于比较和分析性能.