Run Time Library for Polybench benchmarks.
Grigori Fursin converted it to the cTuning format.