@Parameters(name = "{0}")
 public static Object[] getAllSolvers() {
   return Solvers.values();
 }