iters=5 new-facts=1 prior-facts=1 | | mean | 321.044-321.044=0.001 | | σ | 0.057-0.059=-0.002 | | min | 320.943-320.939=0.004 | | max | 321.082-321.083=-0.001 |
| | mean | 2853.000-2850.000=3.000 | | σ | 0.000 | | min | 2853.000-2850.000=3.000 | | max | 2853.000-2850.000=3.000 |
| | mean | 0.430-0.430=-0.000 | | σ | 0.010-0.005=0.004 | | min | 0.421-0.421=-0.000 | | max | 0.444-0.436=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.610-1981.614=-0.004 | | σ | 0.030-0.013=0.017 | | min | 1981.558-1981.602=-0.044 | | max | 1981.628-1981.628=-0.000 |
| | mean | 2853.000-2850.000=3.000 | | σ | 0.000 | | min | 2853.000-2850.000=3.000 | | max | 2853.000-2850.000=3.000 |
| | mean | 2.643-2.705=-0.062 | | σ | 0.131-0.122=0.009 | | min | 2.555-2.570=-0.015 | | max | 2.867-2.871=-0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.243-4805.240=0.003 | | σ | 7.782-7.783=-0.001 | | min | 4801.672-4801.734=-0.061 | | max | 4819.164-4819.162=0.002 |
| | mean | 2853.000-2850.000=3.000 | | σ | 0.000 | | min | 2853.000-2850.000=3.000 | | max | 2853.000-2850.000=3.000 |
| | mean | 8.932-8.872=0.060 | | σ | 0.236-0.333=-0.097 | | min | 8.637-8.340=0.298 | | max | 9.212-9.169=0.043 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.825-4992.759=0.066 | | σ | 0.022-0.172=-0.150 | | min | 4992.798-4992.452=0.346 | | max | 4992.851-4992.845=0.005 |
| | mean | 3068.200-3087.400=-19.200 | | σ | 223.250-245.589=-22.338 | | min | 2853.000-2850.000=3.000 | | max | 3403.000-3340.000=63.000 |
| | mean | 8.955-9.007=-0.052 | | σ | 0.227-0.436=-0.208 | | min | 8.758-8.574=0.185 | | max | 9.327-9.536=-0.209 |
|