Saturation function corresponding to the Liakopoulos Benchmark.
No additional info.
Used in no end-to-end test cases.