remotehdt-benchmark-results Results of benchmarks of the RemoteHDT project (to be changed for ZarRDF) using RemoteHDT-benchmarks.