The different coverage results may be downloaded here: states-cov.pdf, transitions-cov.pdf, actions-cov.pdf