Exposing implicit subsumption to SQL time logging

Also, exposing another value to the outside world.
Adding to SQL timings the time used for burst search