logging if some axiom cannot be accommodated incrementally
changes in the benchmarking to support task disposal