Output of maximal clause-length.
Timing update.
Editorial updates.