MRMSolve: A tool for transient analysis of large Markov reward models MRMSolve is a new analysis tool developed for the evaluation of large Markov Reward Models (MRM) that provides the moments of the accumulated reward and the completion time. MRMSolve is based on the Java technology, hence it allows to access the tool from any node connected with the Internet as long as it possesses a Java-enabled Web browser.