iters=5 new-facts=1 prior-facts=1 | | mean | 271.756-271.733=0.023 | | σ | 0.005-0.005=0.000 | | min | 271.751-271.725=0.027 | | max | 271.763-271.738=0.024 |
| | mean | 2884.000-2877.000=7.000 | | σ | 0.000 | | min | 2884.000-2877.000=7.000 | | max | 2884.000-2877.000=7.000 |
| | mean | 0.388-0.383=0.005 | | σ | 0.006-0.010=-0.004 | | min | 0.380-0.372=0.008 | | max | 0.395-0.399=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.168-1932.180=-0.012 | | σ | 0.016-0.013=0.004 | | min | 1932.152-1932.166=-0.014 | | max | 1932.186-1932.201=-0.014 |
| | mean | 2884.000-2877.000=7.000 | | σ | 0.000 | | min | 2884.000-2877.000=7.000 | | max | 2884.000-2877.000=7.000 |
| | mean | 3.025-3.024=0.000 | | σ | 0.082-0.230=-0.148 | | min | 2.924-2.705=0.219 | | max | 3.110-3.322=-0.212 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.899-4752.786=0.112 | | σ | 0.853-0.646=0.207 | | min | 4752.389-4752.411=-0.022 | | max | 4754.416-4753.925=0.490 |
| | mean | 2884.000-2877.000=7.000 | | σ | 0.000 | | min | 2884.000-2877.000=7.000 | | max | 2884.000-2877.000=7.000 |
| | mean | 8.735-8.576=0.159 | | σ | 0.339-0.580=-0.240 | | min | 8.396-7.581=0.815 | | max | 9.233-8.956=0.277 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.376-4943.373=0.003 | | σ | 0.015-0.011=0.003 | | min | 4943.357-4943.359=-0.003 | | max | 4943.391-4943.390=0.000 |
| | mean | 3034.200-3076.200=-42.000 | | σ | 176.182-212.011=-35.829 | | min | 2884.000-2877.000=7.000 | | max | 3315.000-3387.000=-72.000 |
| | mean | 8.485-8.568=-0.083 | | σ | 0.064-0.224=-0.160 | | min | 8.387-8.371=0.017 | | max | 8.553-8.939=-0.385 |
|