Merge remote-tracking branch 'origin/v10-minor'

Author: scip-ci

check/CMakeLists.txt

@@ -1380,6 +1380,7 @@ if(SCIP_WITH_EXACTSOLVE)
         # loop over all settings
         #
         foreach(setting ${settings_MIPEX})
+          if(NOT ((${basename} STREQUAL "enigma.mps") AND (${setting} STREQUAL "exact-exactlp") AND (${LPS} STREQUAL "msk")))  # certificate.cpp:3194 assert failing, #4261
             #
             # treat the instance as a tuple (list) of two values
             #
@@ -1395,6 +1396,7 @@ if(SCIP_WITH_EXACTSOLVE)
                                     FAIL_REGULAR_EXPRESSION "user parameter file <${PROJECT_SOURCE_DIR}/check/coverage/settings/${setting}.set> not found"
                                     DEPENDS scip-build
                                 )
+          endif()
         endforeach(setting)
     endforeach(instance ${instances_MIPEX})
     #
@@ -1406,6 +1408,7 @@ if(SCIP_WITH_EXACTSOLVE)
         # loop over all settings
         #
         foreach(setting ${settings_MIPEX})
+          if(NOT ((${basename} STREQUAL "enigma.mps") AND ((${setting} STREQUAL "exact-exactlp") OR (${setting} STREQUAL "exact-projshift")) AND (${LPS} STREQUAL "grb")))  # certificate.cpp:3194 assert failing, #4261
             #
             # treat the instance as a tuple (list) of two values
             #
@@ -1452,6 +1455,7 @@ if(SCIP_WITH_EXACTSOLVE)
                                  FAIL_REGULAR_EXPRESSION "Failed")
             endif()
 
+          endif()
         endforeach(setting)
     endforeach(instance ${instances_MIPEX})
 endif()