iters=5 new-facts=1 prior-facts=1 | | mean | 273.610-272.012=1.598 | | σ | 0.009-0.008=0.001 | | min | 273.602-272.002=1.600 | | max | 273.624-272.021=1.603 |
| | mean | 2835.000-2845.000=-10.000 | | σ | 0.000 | | min | 2835.000-2845.000=-10.000 | | max | 2835.000-2845.000=-10.000 |
| | mean | 0.384-0.382=0.002 | | σ | 0.005-0.008=-0.003 | | min | 0.381-0.376=0.005 | | max | 0.394-0.396=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.004-1932.434=1.570 | | σ | 0.009-0.003=0.006 | | min | 1933.996-1932.429=1.568 | | max | 1934.015-1932.437=1.578 |
| | mean | 2835.000-2845.000=-10.000 | | σ | 0.000 | | min | 2835.000-2845.000=-10.000 | | max | 2835.000-2845.000=-10.000 |
| | mean | 2.941-3.016=-0.075 | | σ | 0.213-0.057=0.156 | | min | 2.703-2.946=-0.242 | | max | 3.247-3.087=0.160 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.541-4753.066=1.476 | | σ | 1.084-0.581=0.503 | | min | 4753.199-4752.686=0.513 | | max | 4756.226-4754.098=2.128 |
| | mean | 2835.000-2845.000=-10.000 | | σ | 0.000 | | min | 2835.000-2845.000=-10.000 | | max | 2835.000-2845.000=-10.000 |
| | mean | 8.469-8.509=-0.040 | | σ | 0.491-0.233=0.258 | | min | 7.721-8.249=-0.527 | | max | 8.938-8.873=0.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.081-4943.627=1.454 | | σ | 0.192-0.020=0.172 | | min | 4944.859-4943.609=1.250 | | max | 4945.250-4943.650=1.600 |
| | mean | 3077.000-3052.800=24.200 | | σ | 230.880-217.173=13.707 | | min | 2835.000-2845.000=-10.000 | | max | 3414.000-3364.000=50.000 |
| | mean | 8.679-8.573=0.106 | | σ | 0.200-0.147=0.054 | | min | 8.462-8.402=0.060 | | max | 8.948-8.770=0.178 |
|