public function dataProviderForCDF() { return [[5, 0.1, 0.40951], [5, 0.2, 0.67232], [1, 0.4, 0.4], [2, 0.4, 0.64], [3, 0.4, 0.784], [5, 0.5, 0.9688], [5, 0.09, 0.3759678549], [1, 1, 1], [2, 1, 1]]; }