Rectified BenchMark Programs