The results found here are obtained by following the guidelines found in the README files in the 'src/HDT' folder of https://github.com/rdfostrich/BEAR.
We can copy the data on the server (donizetti) to this repo, in a subdirectory Results/output of the current folder
using the bash script ./get-output.sh.