S1+benchmarks