Results for solver diamicumericumericumericumeric