A new log directory is now generated when bench is in progress, containing all log files, named with this pattern, `formula.<FORMULA NB>.[bb.].log`.