Results for solver depthymomiumericumericumericumericumer