PRISM Benchmark has moved to https://prism-benchmark.github.io/.