iters=5 new-facts=1 prior-facts=1 | | mean | 268.233-271.621=-3.388 | | σ | 0.008-0.005=0.004 | | min | 268.224-271.614=-3.390 | | max | 268.243-271.625=-3.382 |
| | mean | 2856.000-2902.000=-46.000 | | σ | 0.000 | | min | 2856.000-2902.000=-46.000 | | max | 2856.000-2902.000=-46.000 |
| | mean | 0.384-0.376=0.008 | | σ | 0.009-0.008=0.001 | | min | 0.374-0.371=0.004 | | max | 0.395-0.390=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1928.635-1932.036=-3.400 | | σ | 0.010-0.009=0.001 | | min | 1928.621-1932.026=-3.406 | | max | 1928.649-1932.047=-3.399 |
| | mean | 2856.000-2902.000=-46.000 | | σ | 0.000 | | min | 2856.000-2902.000=-46.000 | | max | 2856.000-2902.000=-46.000 |
| | mean | 3.003-2.999=0.004 | | σ | 0.045-0.068=-0.022 | | min | 2.952-2.921=0.031 | | max | 3.062-3.102=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4749.385-4752.711=-3.327 | | σ | 0.909-0.935=-0.027 | | min | 4748.897-4751.980=-3.083 | | max | 4751.001-4754.344=-3.343 |
| | mean | 2856.000-2902.000=-46.000 | | σ | 0.000 | | min | 2856.000-2902.000=-46.000 | | max | 2856.000-2902.000=-46.000 |
| | mean | 8.471-8.665=-0.194 | | σ | 0.537-0.525=0.012 | | min | 7.589-7.950=-0.361 | | max | 8.921-9.407=-0.485 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4939.833-4943.166=-3.332 | | σ | 0.018-0.153=-0.135 | | min | 4939.806-4942.892=-3.086 | | max | 4939.849-4943.242=-3.393 |
| | mean | 3055.000-3030.800=24.200 | | σ | 193.929-156.771=37.158 | | min | 2856.000-2902.000=-46.000 | | max | 3335.000-3286.000=49.000 |
| | mean | 8.480-8.595=-0.116 | | σ | 0.168-0.135=0.033 | | min | 8.336-8.469=-0.133 | | max | 8.731-8.812=-0.081 |
|