Fixed wrong dimension bug in MDP model checkers.

src/modelchecker/prctl/GmmxxMdpPrctlModelChecker.h

@@ -111,7 +111,6 @@ private:
 		unsigned maxIterations = s->get<unsigned>("maxiter");
 		bool relative = s->get<bool>("relative");
 
-
 		// Transform the transition probability matrix to the gmm++ format to use its arithmetic.
 		gmm::csr_matrix<Type>* gmmxxMatrix = storm::adapters::GmmxxAdapter::toGmmxxSparseMatrix<Type>(A);
 

src/modelchecker/prctl/SparseMdpPrctlModelChecker.h

@@ -434,7 +434,7 @@ public:
 			std::vector<uint_fast64_t> subNondeterministicChoiceIndices = this->computeNondeterministicChoiceIndicesForConstraint(maybeStates);
 
 			// Create vector for results for maybe states.
-			std::vector<Type> x(submatrix.getRowCount());
+			std::vector<Type> x(submatrix.getColumnCount());
 
 			// Prepare the right-hand side of the equation system. For entry i this corresponds to
 			// the accumulated probability of going from state i to some 'yes' state.