This page is now at
/docs/benchmark/scores/latrodectus-all-tools-run4/
.