GitHub repository: sosy-lab/sv-comp
Created: 2015-12-20T16:15:01Z
Description: Information to reproduce results from SV-COMP (MOVED, please follow the link)