Defects4j Math - Issue4

The result from Ziyuan

-1.0*this.zero.y >= -1.0 (org.apache.commons.math3.geometry.euclidean.threed.Line:55)

Defects4j Math - Issue38

The result from Ziyuan

-1.0*this.numberOfInterpolationPoints >= -27.0 (org.apache.commons.math.optimization.direct.BaseAbstractMultivariateSimpleBoundsOptimizer:72)

Defects4j Math - Issue40

The result from Ziyuan

-1.0*this.maximalOrder >= -4.0 (org.apache.commons.math.analysis.solvers.BracketingNthOrderBrentSolver:128)

Defects4j Math - Issue58

The result from Ziyuan

this.y >= 250.0 (org.apache.commons.math.optimization.fitting.WeightedObservedPoint:64)

Defects4j Math - Issue61

The result from Ziyuan

p >= 1.0 (org.apache.commons.math.distribution.PoissonDistributionImpl:80)

Defects4j Math - Issue70

The result from Ziyuan

19.0*i + this.result >= 200.0 (org.apache.commons.math.analysis.solvers.BisectionSolver:86)

Defects4j Math - Issue79

The result from Ziyuan

points.a.length >= 12.0 (org.apache.commons.math.stat.clustering.KMeansPlusPlusClusterer:89)

Defects4j Math - Issue84

The result from Ziyuan

-1.0*this.f.maximumPosition.length >= -1.0 (org.apache.commons.math.optimization.direct.MultiDirectional:66)