iters=5 new-facts=1 prior-facts=1 | | mean | 345.190 | | σ | 0.068 | | min | 345.069 | | max | 345.225 |
| | mean | 2460.000 | | σ | 0.000 | | min | 2460.000 | | max | 2460.000 |
| | mean | 0.446 | | σ | 0.001 | | min | 0.444 | | max | 0.447 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.367 | | σ | 0.018 | | min | 2007.342 | | max | 2007.390 |
| | mean | 2460.000 | | σ | 0.000 | | min | 2460.000 | | max | 2460.000 |
| | mean | 2.702 | | σ | 0.079 | | min | 2.591 | | max | 2.809 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.135 | | σ | 7.830 | | min | 4828.377 | | max | 4846.139 |
| | mean | 2460.000 | | σ | 0.000 | | min | 2460.000 | | max | 2460.000 |
| | mean | 8.869 | | σ | 0.550 | | min | 8.252 | | max | 9.464 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.768 | | σ | 0.018 | | min | 5019.748 | | max | 5019.788 |
| | mean | 3005.000 | | σ | 280.545 | | min | 2614.000 | | max | 3315.000 |
| | mean | 9.818 | | σ | 0.139 | | min | 9.640 | | max | 9.994 |
|