Redirection issues between various versions of tatpbenchmark.sourceforge.mobi may be causing access problems. See the links provided below to access the site through alternative routes:
Or return to the current status page of tatpbenchmark.sourceforge.mobi.