public function dataProviderForCDF() { return [[5, 0.1, 0.468559], [5, 0.2, 0.737856], [1, 0.4, 0.64], [2, 0.4, 0.784], [3, 0.4, 0.8704], [5, 0.5, 0.984375], [5, 0.09, 0.432130747959], [1, 1, 1], [2, 1, 1]]; }