Benchmark set of verification tasks that were used for the demonstration experiments after SV-COMP 2014.
