Monitoring the development of investigations using libertine granules

I am currently creating an OWL ontology which until recently was quickly classified using the Pellet method. However, since the introduction of several new classes, the reasoning efficiency has slowed down to a workaround. Even though the reasoning ends and the ontology does not contain any unsatisfactory concepts, etc., the time that the argument takes is not acceptable. I am currently trying to track down classes / classes that might be causing the slowdown.

Here's my question: is it possible to add a logical progression to Pelle? That is, is it possible to derive some kind of result that will document how long the trawl has spent on certain argumentation problems / keeps track of how long it takes to reason about a given class and axiom? If so, does anyone have some Java code they could submit?

Thanks in advance for your answers!