Hugo Moreau authored Apr 11, 2021 and Etienne Renault committed Apr 20, 2021

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`.