lean_audit_retry.log

✔ [8009/8251] Built SLT.SeparableSpaceSup (1.8s)
✔ [8462/8680] Built SLT.ConvergenceL1Subseq (2.0s)
✔ [8656/8720] Built SLT.GaussianLSI.Entropy (2.7s)
✔ [8658/8720] Built SLT.MeasureInfrastructure (3.7s)
✔ [8659/8720] Built SLT.GaussianPoincare.RademacherApprox (3.0s)
✔ [8660/8720] Built SLT.GaussianLSI.TwoPoint (5.3s)
✔ [8661/8720] Built SLT.GaussianPoincare.LevyContinuity (5.0s)
✔ [8662/8720] Built SLT.SmallBallProb (3.0s)
✔ [8663/8720] Built SLT.GaussianLSI.DualityEntropy (3.7s)
✔ [8664/8720] Built SLT.CoveringNumber (6.7s)
✔ [8665/8720] Built SLT.GaussianMeasure (3.6s)
✔ [8666/8720] Built SLT.Chaining (2.9s)
✔ [8667/8720] Built SLT.GaussianLSI.DualEntApp (3.2s)
✔ [8668/8720] Built SLT.LeastSquares.LinearRegression.IntegralBounds (7.2s)
✔ [8669/8720] Built SLT.LipschitzProperty (3.2s)
✔ [8670/8720] Built SLT.GaussianSobolevDense.Defs (3.9s)
✔ [8671/8720] Built SLT.SubGaussian (7.6s)
✔ [8672/8720] Built SLT.MetricEntropy (5.8s)
✔ [8673/8720] Built SLT.LeastSquares.Defs (5.5s)
✔ [8674/8720] Built SLT.MatrixInfra.Basic (12s)
✔ [8675/8720] Built SLT.EfronStein (15s)
✔ [8676/8720] Built SLT.LeastSquares.LinearRegression.LinearPredictorClass (6.9s)
✔ [8677/8720] Built SLT.LeastSquares.SubGaussianity (7.4s)
✔ [8678/8720] Built SLT.LeastSquares.BasicInequality (7.9s)
✔ [8679/8720] Built SLT.LeastSquares.L1Regression.L1PredictorClass (7.9s)
✔ [8680/8720] Built SLT.LeastSquares.Localization (8.7s)
✔ [8681/8720] Built SLT.GaussianLSI.SubAddEnt.Basic (6.4s)
✔ [8682/8720] Built SLT.GaussianPoincare.EfronSteinApp (7.1s)
✔ [8683/8720] Built SLT.GaussianSobolevDense.Cutoff (12s)
✔ [8684/8720] Built SLT.GaussianLSI.SubAddEnt.Decomposition (3.4s)
✔ [8685/8720] Built SLT.LeastSquares.LinearRegression.DesignMatrix (6.3s)
✔ [8686/8720] Built SLT.LeastSquares.L1Regression.L1ShiftedClass (6.0s)
✔ [8687/8720] Built SLT.GaussianPoincare.TaylorBound (5.8s)
✔ [8688/8720] Built SLT.MatrixInfra.CourantFischer (14s)
✔ [8689/8720] Built SLT.HansonWright (18s)
✔ [8690/8720] Built SLT.GaussianLSI.SubAddEnt.Subadditivity (5.8s)
✔ [8691/8720] Built SLT.LeastSquares.L1Regression.L1DesignMatrix (4.9s)
✔ [8692/8720] Built SLT.LeastSquares.LinearRegression.LocalizedBall (5.8s)
✔ [8693/8720] Built SLT.GaussianSobolevDense.Mollification (9.1s)
✔ [8694/8720] Built SLT.GaussianPoincare.Limit (5.1s)
✔ [8695/8720] Built SLT.Dudley (22s)
✔ [8696/8720] Built SLT.GaussianSobolevDense.LipschitzMollification (4.2s)
✔ [8697/8720] Built SLT.LeastSquares.L1Regression.L1LocalizedBall (5.8s)
✔ [8698/8720] Built SLT.MatrixInfra.EYM (9.1s)
✔ [8699/8720] Built SLT.MatrixInfra.MatCalc (9.7s)
✔ [8700/8720] Built SLT.GaussianSobolevDense.Density (5.8s)
✔ [8701/8720] Built SLT.LeastSquares.LinearRegression.EuclideanReduction (7.4s)
✔ [8702/8720] Built SLT.RMT.Lieb (3.1s)
✔ [8703/8720] Built SLT.GaussianLSI.BernoulliLSI (10s)
✔ [8704/8720] Built SLT.LeastSquares.DudleyApplication (9.2s)
✔ [8705/8720] Built SLT.GaussianLSI.OneDimGLSICompSmo (3.5s)
✔ [8706/8720] Built SLT.LeastSquares.LinearRegression.EntropyIntegral (9.2s)
✔ [8707/8720] Built SLT.LeastSquares.L1Regression.L1CoveringBound (13s)
✔ [8708/8720] Built SLT.LeastSquares.CriticalRadius (6.7s)
✔ [8709/8720] Built SLT.LeastSquares.LinearRegression.EmpiricalProcess (6.8s)
✔ [8710/8720] Built SLT.RMT.MatBern (13s)
✔ [8711/8720] Built SLT.GaussianLSI.OneDimGLSI (8.3s)
✔ [8712/8720] Built SLT.LeastSquares.LinearRegression.GaussianComplexity (4.7s)
✔ [8713/8720] Built SLT.MatrixInfra.Perturb (18s)
✔ [8714/8720] Built SLT.GaussianLSI.TensorizedGLSI (3.6s)
✔ [8715/8720] Built SLT.TDudley (53s)
✔ [8716/8720] Built SLT.GaussianLipConcen (7.2s)
✔ [8717/8720] Built SLT.RMT.Basic (36s)
✔ [8718/8720] Built SLT.LeastSquares.MasterErrorBound (9.4s)
✔ [8719/8720] Built SLT.LeastSquares.LinearRegression.MinimaxRate (5.5s)
Build completed successfully (8720 jobs).
'dudley' depends on axioms: [propext, Classical.choice, Quot.sound]
'truncated_dudley_entropy_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'GaussianLSI.gaussian_logSobolev_W12_pi' depends on axioms: [propext, Classical.choice, Quot.sound]
'GaussianLipConcen.gaussian_lipschitz_concentration' depends on axioms: [propext, Classical.choice, Quot.sound]
'LeastSquares.master_error_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'LeastSquares.linear_local_gaussian_complexity_bound' depends on axioms: [propext, Classical.choice, Quot.sound]
'LeastSquares.linear_minimax_rate' depends on axioms: [propext, Classical.choice, Quot.sound]