diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp index c40df46ae..f1c55a15d 100644 --- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp +++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp @@ -462,7 +462,7 @@ namespace storm { ValueType two = storm::utility::convertNumber(2.0); ValueType precision = storm::utility::convertNumber(env.solver().minMax().getPrecision()); - ValueType relativeBoundGuessingScaler = (storm::utility::one() + precision); + ValueType relativeBoundGuessingScaler = (storm::utility::one() + storm::utility::convertNumber(env.solver().ovi().getPrecisionUpdateFactor()) * precision); ValueType doublePrecision = precision * two; ValueType iterationPrecision = precision;