diff --git a/src/counterexamples/MinimalLabelSetGenerator.h b/src/counterexamples/MinimalLabelSetGenerator.h
index d9917239e..e843ee69c 100644
--- a/src/counterexamples/MinimalLabelSetGenerator.h
+++ b/src/counterexamples/MinimalLabelSetGenerator.h
@@ -159,6 +159,15 @@ namespace storm {
                 return result;
             }
             
+            /*!
+             * Sets the desired properties for the given Gurobi environment.
+             *
+             * @param env The Gurobi environment to modify.
+             */
+            static void setGurobiEnvironmentProperties(GRBenv* env) {
+                int error = error = GRBsetintparam(env, "OutputFlag", storm::settings::Settings::getInstance()->getOptionByLongName("debug").getHasOptionBeenSet() ? 1 : 0);
+            }
+            
             /*!
              * Creates a Gurobi environment and model and returns pointers to them.
              *
@@ -171,6 +180,9 @@ namespace storm {
                     LOG4CPLUS_ERROR(logger, "Could not initialize Gurobi (" << GRBgeterrormsg(env) << ").");
                     throw storm::exceptions::InvalidStateException() << "Could not initialize Gurobi (" << GRBgeterrormsg(env) << ").";
                 }
+                
+                setGurobiEnvironmentProperties(env);
+                
                 GRBmodel* model = nullptr;
                 error = GRBnewmodel(env, &model, "minimal_label_milp", 0, nullptr, nullptr, nullptr, nullptr, nullptr);
                 if (error) {
diff --git a/src/storm.cpp b/src/storm.cpp
index 435e3eb57..f5e4ea810 100644
--- a/src/storm.cpp
+++ b/src/storm.cpp
@@ -342,7 +342,7 @@ int main(const int argc, const char* argv[]) {
                 storm::storage::BitVector const& finishedStates = labeledMdp->getLabeledStates("finished");
                 storm::storage::BitVector const& allCoinsEqual1States = labeledMdp->getLabeledStates("all_coins_equal_1");
                 storm::storage::BitVector targetStates = finishedStates & allCoinsEqual1States;
-                storm::counterexamples::MinimalLabelSetGenerator<double>::getMinimalLabelSet(*labeledMdp, storm::storage::BitVector(labeledMdp->getNumberOfStates(), true), targetStates, 0.4, true, true);
+                storm::counterexamples::MinimalLabelSetGenerator<double>::getMinimalLabelSet(*labeledMdp, storm::storage::BitVector(labeledMdp->getNumberOfStates(), true), targetStates, 0.3, true, true);
             }
 		}