public function dataProviderForCDF() { return [[1, 1, 2, 0], [1, 1, 1, 0.001], [2, 1, 1, 0.5], [3.2, 1, 1, 0.6879999999999999], [5.4, 5.1, 5.4, 0.001], [6.78, 5.1, 5.4, 0.6870000000000001], [9.199999999999999, 5.1, 5.4, 0.9340000000000001]]; }