SCTBench has moved to GitHub: https://github.com/mc-imperial/sctbench
Slides from PPoPP
We executed our experiments on a Linux cluster, with Red Hat Enterprise Linux Server release 6.4, an x86_64 architecture and gcc 4.7.2.
Our modified version of Maple is based on the latest commit.
Just The Benchmarks
A VirtualBox virtual machine containing all benchmarks (including those not used), Maple and our scripts, which should work out-of-the-box, can be downloaded here. This should allow you to reproduce the experimental evaluation.
Extract the archive. Open VirtualBox and click Machines->Add... and select the "sctbenchmarks.vbox" file. Before running the machine, you may wish to adjust the amount of RAM used, etc. The username and password are both "sct". On the desktop, there are icons to open the benchmarks directory as well as a terminal. Open README.txt in the benchmarks directory for further instructions.