Results for solver devaigumericumericumericmeric