public function dataProviderForCDF() { return [[3, 2, 0.857123460498547], [3, 5, 0.265], [8, 6, 0.8472374939845613], [2, 0.45, 0.99], [16, 12, 0.898708992560164]]; }