Add updated rule

Opt-Mucca · Opt-Mucca · commit a684943d33aa · 2025-08-18T18:05:50.000+02:00
diff --git a/highs/presolve/HPresolve.cpp b/highs/presolve/HPresolve.cpp
@@ -1557,7 +1557,7 @@ HPresolve::Result HPresolve::runProbing(HighsPostsolveStack& postsolve_stack) {
             std::max(HighsInt{1000}, (model->num_row_ + model->num_col_) / 20);
       } else {
         probingEarlyAbort =
-            numDel > std::min(HighsInt{500}, model->num_col_ / 20);
+            numDel > std::min(HighsInt{1000}, (model->num_row_ + model->num_col_) / 40);
       }
       if (probingEarlyAbort) break;
 

Original file line number	Diff line number	Diff line change
`@@ -1557,7 +1557,7 @@ HPresolve::Result HPresolve::runProbing(HighsPostsolveStack& postsolve_stack) {`
`1557`	`1557`	`std::max(HighsInt{1000}, (model->num_row_ + model->num_col_) / 20);`
`1558`	`1558`	`} else {`
`1559`	`1559`	`probingEarlyAbort =`
`1560`		`- numDel > std::min(HighsInt{500}, model->num_col_ / 20);`
	`1560`	`+ numDel > std::min(HighsInt{1000}, (model->num_row_ + model->num_col_) / 40);`
`1561`	`1561`	`}`
`1562`	`1562`	`if (probingEarlyAbort) break;`
`1563`	`1563`