diff --git a/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.cpp b/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.cpp index b80727dfb..18c53b5af 100644 --- a/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.cpp +++ b/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.cpp @@ -315,6 +315,7 @@ namespace storm { } swSetEpochClass.stop(); + epochModelSizes.push_back(epochModel.epochMatrix.getRowGroupCount()); } template diff --git a/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.h b/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.h index 8e864c21f..3e5d4924f 100644 --- a/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.h +++ b/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.h @@ -60,6 +60,12 @@ namespace storm { std::cout << " findSolutions: " << swFindSol << " seconds." << std::endl; std::cout << " insertSolutions: " << swInsertSol << " seconds." << std::endl; std::cout << "---------------------------------------------" << std::endl; + std::cout << " Product size: " << memoryProduct.getProduct().getNumberOfStates(); + std::cout << " Epoch model sizes: "; + for (auto const& i : epochModelSizes) { + std::cout << i << " "; + } + std::cout << std::endl; std::cout << "---------------------------------------------" << std::endl; std::cout << std::endl; @@ -156,6 +162,7 @@ namespace storm { storm::utility::Stopwatch swInit, swFindSol, swInsertSol, swSetEpoch, swSetEpochClass; + std::vector epochModelSizes; }; } }