(x-1/2)^2 (y-1/4)^2 (zero at a dyadic point) proven >= 0 on [0,1]^2: True
xy - 1/100 refuted on [0,1]^2: True
strictly positive sums of squares + 1/50 proven >= 0: 100 / 100
random 3-D polynomials: proven >= 0, grid minimum >= 0: 129
random 3-D polynomials: refuted, grid minimum < 0: 141
random 3-D polynomials: refuted, grid minimum >= 0 (negative off the grid, or minimum 0 off the dyadics): 30
random 3-D polynomials: unsound results: 0
