compute

This is the actual execution of the statistical model checking, by executing the chosen monitor over the provided samples. This has the side effect of updating results and stats.