Turn off fc for tableau. Add cover > cmir > fc

Author: Opt-Mucca

highs/mip/HighsCutGeneration.cpp

@@ -1395,7 +1395,7 @@ bool HighsCutGeneration::generateCut(HighsTransformedLp& transLp,
 
   // try to generate a cut
   if (!tryGenerateCut(inds_, vals_, hasUnboundedInts, hasGeneralInts,
-                      hasContinuous, std::max(flowCoverEfficacy, 10 * feastol),
+                      hasContinuous, std::max(flowCoverEfficacy - feastol, 10 * feastol),
                       onlyInitialCMIRScale)) {
     cmirSuccess = false;
     goto postprocess;

highs/mip/HighsTableauSeparator.cpp

@@ -229,12 +229,12 @@ void HighsTableauSeparator::separateLpSolution(HighsLpRelaxation& lpRelaxation,
         baseRowInds.size());
 
     double rhs = 0;
-    cutGen.generateCut(transLp, baseRowInds, baseRowVals, rhs, false, true);
+    cutGen.generateCut(transLp, baseRowInds, baseRowVals, rhs, false, false);
     if (mip.mipdata_->domain.infeasible()) break;
 
     lpAggregator.getCurrentAggregation(baseRowInds, baseRowVals, true);
     rhs = 0;
-    cutGen.generateCut(transLp, baseRowInds, baseRowVals, rhs, false, true);
+    cutGen.generateCut(transLp, baseRowInds, baseRowVals, rhs, false, false);
     if (mip.mipdata_->domain.infeasible()) break;
 
     lpAggregator.clear();