goto-cc Homepage SNU Real-Time Benchmarks

AboutDownload ― Examples ― Documentation

SNU Real-time Benchmarks

The SNU real-time benchmark suite contains small C programs used for worst-case execution time analysis. The programs are mostly numeric and DSP algorithms. The original benchmark suite may be obtained at


Download SNU


Download SNU (nondet)

The original benchmark suite defines concrete inputs for all functions. We thus provide a modified version of the suite, where the inputs are non-deterministic.