iters=5 new-facts=1 prior-facts=1 | | mean | 279.508-279.511=-0.003 | | σ | 0.007-0.006=0.001 | | min | 279.498-279.502=-0.004 | | max | 279.515-279.517=-0.002 |
| | mean | 2767.000-2771.000=-4.000 | | σ | 0.000 | | min | 2767.000-2771.000=-4.000 | | max | 2767.000-2771.000=-4.000 |
| | mean | 0.409-0.408=0.002 | | σ | 0.001-0.005=-0.004 | | min | 0.408-0.403=0.005 | | max | 0.411-0.415=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.448-2178.440=0.008 | | σ | 0.012-0.015=-0.002 | | min | 2178.437-2178.421=0.016 | | max | 2178.468-2178.457=0.010 |
| | mean | 2767.000-2771.000=-4.000 | | σ | 0.000 | | min | 2767.000-2771.000=-4.000 | | max | 2767.000-2771.000=-4.000 |
| | mean | 3.490-3.265=0.226 | | σ | 0.145-0.357=-0.212 | | min | 3.332-2.763=0.569 | | max | 3.696-3.619=0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.384-5056.127=0.257 | | σ | 1.039-0.812=0.226 | | min | 5055.784-5055.395=0.389 | | max | 5058.222-5057.514=0.708 |
| | mean | 2767.000-2771.000=-4.000 | | σ | 0.000 | | min | 2767.000-2771.000=-4.000 | | max | 2767.000-2771.000=-4.000 |
| | mean | 8.893-8.842=0.051 | | σ | 0.675-0.554=0.121 | | min | 8.205-8.129=0.076 | | max | 9.896-9.390=0.506 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.762-5193.685=0.076 | | σ | 0.092-0.120=-0.028 | | min | 5193.691-5193.508=0.183 | | max | 5193.865-5193.848=0.017 |
| | mean | 3289.200-3236.600=52.600 | | σ | 396.219-342.575=53.644 | | min | 2767.000-2771.000=-4.000 | | max | 3671.000-3668.000=3.000 |
| | mean | 9.096-8.847=0.249 | | σ | 0.334-0.209=0.125 | | min | 8.761-8.667=0.094 | | max | 9.606-9.197=0.409 |
|