iters=5 new-facts=1 prior-facts=1 | | mean | 189.712 | | σ | 0.004 | | min | 189.705 | | max | 189.717 |
| | mean | 2517.000 | | σ | 0.000 | | min | 2517.000 | | max | 2517.000 |
| | mean | 0.280 | | σ | 0.002 | | min | 0.278 | | max | 0.285 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.521 | | σ | 0.020 | | min | 1988.493 | | max | 1988.543 |
| | mean | 2517.000 | | σ | 0.000 | | min | 2517.000 | | max | 2517.000 |
| | mean | 2.508 | | σ | 0.161 | | min | 2.358 | | max | 2.687 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.069 | | σ | 0.623 | | min | 4878.707 | | max | 4880.174 |
| | mean | 2517.000 | | σ | 0.000 | | min | 2517.000 | | max | 2517.000 |
| | mean | 8.320 | | σ | 0.165 | | min | 8.192 | | max | 8.608 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4890.619 | | σ | 0.203 | | min | 4890.294 | | max | 4890.793 |
| | mean | 3308.200 | | σ | 433.729 | | min | 2881.000 | | max | 3748.000 |
| | mean | 8.125 | | σ | 0.117 | | min | 8.008 | | max | 8.288 |
|