diff --git a/src/storm-pars/modelchecker/instantiation/SparseDtmcInstantiationModelChecker.cpp b/src/storm-pars/modelchecker/instantiation/SparseDtmcInstantiationModelChecker.cpp
index 85c5ce466..6c743422a 100644
--- a/src/storm-pars/modelchecker/instantiation/SparseDtmcInstantiationModelChecker.cpp
+++ b/src/storm-pars/modelchecker/instantiation/SparseDtmcInstantiationModelChecker.cpp
@@ -57,7 +57,6 @@ namespace storm {
                     newCheckTask.setOnlyInitialStatesRelevant(false);
                     qualitativeResult = modelChecker.computeProbabilities(env, newCheckTask)->template asExplicitQuantitativeCheckResult<ConstantType>().getValueVector();
                 }
-                std::cout << storm::utility::vector::toString(qualitativeResult) << std::endl;
                 storm::storage::BitVector maybeStates = storm::utility::vector::filter<ConstantType>(qualitativeResult,
                                 [] (ConstantType const& value) -> bool { return !(storm::utility::isZero<ConstantType>(value) || storm::utility::isOne<ConstantType>(value)); });
                 hint.setMaybeStates(std::move(maybeStates));