iters=5 new-facts=1 prior-facts=1 | | mean | 262.596 | | σ | 0.005 | | min | 262.591 | | max | 262.603 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 0.353 | | σ | 0.009 | | min | 0.345 | | max | 0.365 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.641 | | σ | 0.060 | | min | 1262.609 | | max | 1262.749 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 1.865 | | σ | 0.066 | | min | 1.796 | | max | 1.950 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2058.196 | | σ | 7.003 | | min | 2054.872 | | max | 2070.711 |
| | mean | 1519.000 | | σ | 0.000 | | min | 1519.000 | | max | 1519.000 |
| | mean | 4.618 | | σ | 0.235 | | min | 4.390 | | max | 4.924 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.396 | | σ | 0.003 | | min | 2047.393 | | max | 2047.399 |
| | mean | 1760.800 | | σ | 183.430 | | min | 1534.000 | | max | 1988.000 |
| | mean | 4.404 | | σ | 0.066 | | min | 4.353 | | max | 4.513 |
|