Solvers on various optimization problems