benchmark_main should print out the delay model used.

[tcal-x]

benchmark_main --help indicates that the default delay model is "".

The default does not seem to be the same as the unit delay model.

In any case, it would be useful if the output included the name of the delay model that is being used.