iters=5 new-facts=1 prior-facts=1 | | mean | 273.402 | | σ | 0.010 | | min | 273.392 | | max | 273.413 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 0.385 | | σ | 0.008 | | min | 0.377 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.839 | | σ | 0.016 | | min | 1933.818 | | max | 1933.861 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 2.999 | | σ | 0.204 | | min | 2.755 | | max | 3.302 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.411 | | σ | 0.832 | | min | 4753.930 | | max | 4755.892 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 8.221 | | σ | 0.553 | | min | 7.603 | | max | 9.022 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.723 | | σ | 0.200 | | min | 4944.387 | | max | 4944.879 |
| | mean | 2941.000 | | σ | 423.558 | | min | 2476.000 | | max | 3519.000 |
| | mean | 8.504 | | σ | 0.145 | | min | 8.346 | | max | 8.708 |
|