iters=5 new-facts=1 prior-facts=1 | | mean | 292.433-324.773=-32.340 | | σ | 0.015-0.056=-0.042 | | min | 292.413-324.674=-32.260 | | max | 292.454-324.804=-32.350 |
| | mean | 2859.000-2424.000=435.000 | | σ | 0.000 | | min | 2859.000-2424.000=435.000 | | max | 2859.000-2424.000=435.000 |
| | mean | 0.395-0.431=-0.036 | | σ | 0.001-0.011=-0.011 | | min | 0.395-0.418=-0.023 | | max | 0.396-0.445=-0.048 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1952.955-1985.321=-32.366 | | σ | 0.021-0.018=0.003 | | min | 1952.930-1985.294=-32.364 | | max | 1952.978-1985.340=-32.361 |
| | mean | 2859.000-2424.000=435.000 | | σ | 0.000 | | min | 2859.000-2424.000=435.000 | | max | 2859.000-2424.000=435.000 |
| | mean | 2.679-2.617=0.062 | | σ | 0.185-0.144=0.041 | | min | 2.537-2.466=0.071 | | max | 2.926-2.839=0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4778.758-4810.208=-31.450 | | σ | 7.692-7.594=0.098 | | min | 4775.076-4806.657=-31.581 | | max | 4792.515-4823.790=-31.275 |
| | mean | 2859.000-2424.000=435.000 | | σ | 0.000 | | min | 2859.000-2424.000=435.000 | | max | 2859.000-2424.000=435.000 |
| | mean | 8.594-8.443=0.152 | | σ | 0.452-0.633=-0.181 | | min | 7.868-7.695=0.173 | | max | 9.119-9.344=-0.225 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4966.439-4997.711=-31.273 | | σ | 0.090-0.022=0.068 | | min | 4966.355-4997.684=-31.329 | | max | 4966.538-4997.733=-31.195 |
| | mean | 3003.000-2979.800=23.200 | | σ | 228.039-297.061=-69.021 | | min | 2859.000-2593.000=266.000 | | max | 3381.000-3346.000=35.000 |
| | mean | 8.411-8.674=-0.264 | | σ | 0.061-0.159=-0.098 | | min | 8.314-8.440=-0.126 | | max | 8.460-8.834=-0.374 |
|