Information to reproduce results from SV-COMP (MOVED, please follow the link) - View it on GitHub