implemented EvaluatorManager.toString()