iters=5 new-facts=1 prior-facts=1 | | mean | 266.760-266.780=-0.020 | | σ | 0.008-0.005=0.003 | | min | 266.753-266.776=-0.023 | | max | 266.772-266.787=-0.016 |
| | mean | 2851.000-2471.000=380.000 | | σ | 0.000 | | min | 2851.000-2471.000=380.000 | | max | 2851.000-2471.000=380.000 |
| | mean | 0.364-0.366=-0.002 | | σ | 0.002-0.004=-0.002 | | min | 0.363-0.364=-0.001 | | max | 0.368-0.373=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.209-1927.209=-0.000 | | σ | 0.009-0.009=0.000 | | min | 1927.200-1927.201=-0.001 | | max | 1927.224-1927.222=0.002 |
| | mean | 2851.000-2471.000=380.000 | | σ | 0.000 | | min | 2851.000-2471.000=380.000 | | max | 2851.000-2471.000=380.000 |
| | mean | 2.998-3.022=-0.024 | | σ | 0.128-0.342=-0.214 | | min | 2.815-2.505=0.310 | | max | 3.166-3.450=-0.284 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.562-4747.753=-0.191 | | σ | 0.935-0.778=0.157 | | min | 4746.595-4747.294=-0.699 | | max | 4749.125-4749.135=-0.010 |
| | mean | 2851.000-2471.000=380.000 | | σ | 0.000 | | min | 2851.000-2471.000=380.000 | | max | 2851.000-2471.000=380.000 |
| | mean | 8.507-8.196=0.312 | | σ | 0.670-0.361=0.309 | | min | 7.663-7.826=-0.163 | | max | 9.041-8.734=0.307 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.169-4938.090=0.079 | | σ | 0.090-0.210=-0.119 | | min | 4938.088-4937.734=0.354 | | max | 4938.274-4938.247=0.027 |
| | mean | 3065.000-2932.600=132.400 | | σ | 220.575-404.824=-184.248 | | min | 2851.000-2471.000=380.000 | | max | 3385.000-3459.000=-74.000 |
| | mean | 8.608-8.497=0.111 | | σ | 0.286-0.152=0.134 | | min | 8.327-8.384=-0.057 | | max | 8.992-8.685=0.307 |
|