edcc2019-mibench Benchmarks used in the EDCC 2019 paper "Quantitative Cross-Layer Evaluation of Transient-Fault Injection Techniques for Algorithm Comparison": modified MiBench benchmarks (automotive and security suite) sorting benchmarks