iters=5 new-facts=1 prior-facts=1 | | mean | 275.569-277.195=-1.626 | | σ | 0.006-0.006=-0.000 | | min | 275.561-277.187=-1.626 | | max | 275.575-277.203=-1.628 |
| | mean | 2779.000-2630.000=149.000 | | σ | 0.000 | | min | 2779.000-2630.000=149.000 | | max | 2779.000-2630.000=149.000 |
| | mean | 0.405-0.397=0.008 | | σ | 0.012-0.007=0.005 | | min | 0.395-0.391=0.004 | | max | 0.422-0.409=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.088-2174.418=-6.330 | | σ | 0.014-0.038=-0.024 | | min | 2168.068-2174.353=-6.286 | | max | 2168.104-2174.452=-6.347 |
| | mean | 2779.000-2630.000=149.000 | | σ | 0.000 | | min | 2779.000-2630.000=149.000 | | max | 2779.000-2630.000=149.000 |
| | mean | 3.026-3.095=-0.069 | | σ | 0.136-0.313=-0.177 | | min | 2.818-2.776=0.043 | | max | 3.187-3.585=-0.398 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.934-5052.635=-4.701 | | σ | 0.897-0.988=-0.092 | | min | 5047.346-5052.041=-4.694 | | max | 5049.501-5054.390=-4.889 |
| | mean | 2779.000-2630.000=149.000 | | σ | 0.000 | | min | 2779.000-2630.000=149.000 | | max | 2779.000-2630.000=149.000 |
| | mean | 9.191-8.708=0.483 | | σ | 0.589-0.590=-0.001 | | min | 8.485-8.260=0.225 | | max | 10.020-9.660=0.360 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.055-5188.358=-9.303 | | σ | 0.084-0.121=-0.038 | | min | 5178.969-5188.174=-9.204 | | max | 5179.149-5188.515=-9.366 |
| | mean | 3258.000-3288.600=-30.600 | | σ | 354.970-417.183=-62.213 | | min | 2779.000-2706.000=73.000 | | max | 3703.000-3675.000=28.000 |
| | mean | 10.000-9.040=0.960 | | σ | 0.259-0.503=-0.245 | | min | 9.577-8.711=0.866 | | max | 10.226-9.933=0.294 |
|