iters=5 new-facts=1 prior-facts=1 | | mean | 279.512-279.503=0.009 | | σ | 0.007-0.019=-0.012 | | min | 279.501-279.470=0.031 | | max | 279.518-279.515=0.003 |
| | mean | 2768.000-2701.000=67.000 | | σ | 0.000 | | min | 2768.000-2701.000=67.000 | | max | 2768.000-2701.000=67.000 |
| | mean | 0.409-0.411=-0.002 | | σ | 0.007-0.008=-0.001 | | min | 0.404-0.403=0.001 | | max | 0.420-0.421=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.418-2178.450=-0.031 | | σ | 0.040-0.012=0.027 | | min | 2178.350-2178.439=-0.089 | | max | 2178.446-2178.466=-0.020 |
| | mean | 2768.000-2701.000=67.000 | | σ | 0.000 | | min | 2768.000-2701.000=67.000 | | max | 2768.000-2701.000=67.000 |
| | mean | 3.131-3.502=-0.372 | | σ | 0.286-0.149=0.137 | | min | 2.749-3.320=-0.570 | | max | 3.427-3.727=-0.299 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.370-5056.433=-0.063 | | σ | 1.000-1.047=-0.047 | | min | 5055.771-5055.925=-0.153 | | max | 5058.146-5058.304=-0.158 |
| | mean | 2768.000-2701.000=67.000 | | σ | 0.000 | | min | 2768.000-2701.000=67.000 | | max | 2768.000-2701.000=67.000 |
| | mean | 8.928-9.129=-0.201 | | σ | 0.608-0.831=-0.222 | | min | 8.075-8.149=-0.074 | | max | 9.546-10.231=-0.685 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.752-5193.790=-0.038 | | σ | 0.095-0.092=0.004 | | min | 5193.664-5193.684=-0.021 | | max | 5193.864-5193.859=0.005 |
| | mean | 3201.400-3278.400=-77.000 | | σ | 437.743-412.593=25.150 | | min | 2768.000-2701.000=67.000 | | max | 3817.000-3657.000=160.000 |
| | mean | 8.751-9.245=-0.494 | | σ | 0.149-0.328=-0.178 | | min | 8.615-8.854=-0.238 | | max | 9.004-9.631=-0.626 |
|