Changeset 2146 for trunk/Cbc/src/CbcModel.cpp

Timestamp:

Feb 27, 2015 11:24:47 AM (4 years ago)

Author:

forrest

Message:

improve solution checking

File:

• trunk/Cbc/src/CbcModel.cpp (modified) (1 diff)

trunk/Cbc/src/CbcModel.cpp

@@ -12399 +12399 @@
         // We can switch off check
         if ((specialOptions_&4) == 0 && (moreSpecialOptions2_&10) != 8) {
-            if ((specialOptions_&2) == 0 && solverCharacteristics_->warmStart()) {
+            // Be on safe side - unless very few integers and large
+            bool allSlack = (specialOptions_&2) == 0 && solverCharacteristics_->warmStart();
+            if (numberIntegers_*4>solver_->getNumCols()||solver_->getNumCols()<10000)
+              allSlack = true;
+            if (allSlack) {
                 /*
                   Remove any existing warm start information to be sure there is no