Reproducing SV-COMP Results

A description on how we make the results of the competition reproducible can be found in the competition report; the components described in Sect. 4 "Reproducibility" will be listed here for each participating system after the qualification phase.