public function dataProviderForCDF() { return [[1, 0, 1, 0.8160602794], [1.1, 0, 1, 0.8335644582], [1.2, 0, 1, 0.849402894], [5, 0, 1, 0.9966310265], [1, 2, 1.4, 0.2447708298], [1.1, 2, 1.4, 0.2628940122], [2.9, 2, 1.4, 0.7371059878]]; }