Results for solver binumericumericumeric