Out of the box coverage is 18.5%; see .diffblue/log#4