iters=5 new-facts=1 prior-facts=1 | | mean | 275.569-275.567=0.002 | | σ | 0.006-0.007=-0.001 | | min | 275.562-275.562=0.001 | | max | 275.577-275.578=-0.001 |
| | mean | 2697.000-2640.000=57.000 | | σ | 0.000 | | min | 2697.000-2640.000=57.000 | | max | 2697.000-2640.000=57.000 |
| | mean | 0.395-0.391=0.004 | | σ | 0.008-0.008=-0.000 | | min | 0.388-0.383=0.005 | | max | 0.404-0.400=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.093-2168.099=-0.007 | | σ | 0.013-0.009=0.004 | | min | 2168.070-2168.089=-0.019 | | max | 2168.103-2168.110=-0.007 |
| | mean | 2697.000-2640.000=57.000 | | σ | 0.000 | | min | 2697.000-2640.000=57.000 | | max | 2697.000-2640.000=57.000 |
| | mean | 2.924-2.997=-0.073 | | σ | 0.110-0.161=-0.051 | | min | 2.753-2.836=-0.082 | | max | 3.039-3.223=-0.184 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.793-5047.922=-0.129 | | σ | 1.013-0.896=0.116 | | min | 5046.754-5047.391=-0.636 | | max | 5049.484-5049.516=-0.032 |
| | mean | 2697.000-2640.000=57.000 | | σ | 0.000 | | min | 2697.000-2640.000=57.000 | | max | 2697.000-2640.000=57.000 |
| | mean | 8.769-9.018=-0.249 | | σ | 0.479-0.328=0.151 | | min | 8.090-8.597=-0.508 | | max | 9.406-9.493=-0.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.980-5179.041=-0.062 | | σ | 0.192-0.082=0.110 | | min | 5178.670-5178.961=-0.291 | | max | 5179.145-5179.131=0.015 |
| | mean | 3218.200-3218.800=-0.600 | | σ | 381.829-388.112=-6.283 | | min | 2697.000-2684.000=13.000 | | max | 3699.000-3704.000=-5.000 |
| | mean | 9.922-9.864=0.057 | | σ | 0.278-0.271=0.007 | | min | 9.431-9.489=-0.058 | | max | 10.114-10.214=-0.100 |
|