iters=5 new-facts=1 prior-facts=1 | | mean | 345.198 | | σ | 0.072 | | min | 345.069 | | max | 345.249 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 0.443 | | σ | 0.001 | | min | 0.442 | | max | 0.445 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.354 | | σ | 0.022 | | min | 2007.331 | | max | 2007.384 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 2.734 | | σ | 0.133 | | min | 2.641 | | max | 2.961 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.101 | | σ | 7.821 | | min | 4828.108 | | max | 4846.081 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 8.850 | | σ | 0.339 | | min | 8.337 | | max | 9.209 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.703 | | σ | 0.177 | | min | 5019.391 | | max | 5019.829 |
| | mean | 2926.200 | | σ | 317.856 | | min | 2465.000 | | max | 3319.000 |
| | mean | 10.021 | | σ | 0.336 | | min | 9.719 | | max | 10.591 |
|