More PROC:6 benchmarks