Improve performance of DominguezRios

[odow]

x-ref #167

Before

--------------------------------------------------------------------------------------------------
termination_status: TIME_LIMIT
result_count: 168

Total solve time:          5.05640e+00
Time spent in subproblems: 9.49804e-01 (19%)
Number of subproblems:     233
--------------------------------------------------------------------------------------------------

After

--------------------------------------------------------------------------------------------------
termination_status: TIME_LIMIT
result_count: 270

Total solve time:          5.00293e+00
Time spent in subproblems: 2.11331e+00 (42%)
Number of subproblems:     475
--------------------------------------------------------------------------------------------------

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.92%. Comparing base (8013151) to head (402a65e).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #174   +/-   ##
=======================================
  Coverage   99.92%   99.92%           
=======================================
  Files          12       12           
  Lines        1268     1281   +13     
=======================================
+ Hits         1267     1280   +13     
  Misses          1        1           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.