Added small set case, and more informative timing messages.
Homogenized timing messages.