iters=5 new-facts=1 prior-facts=1 | | mean | 271.288 | | σ | 0.007 | | min | 271.276 | | max | 271.295 |
| | mean | 2767.000 | | σ | 0.000 | | min | 2767.000 | | max | 2767.000 |
| | mean | 0.378 | | σ | 0.006 | | min | 0.369 | | max | 0.385 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.710 | | σ | 0.016 | | min | 1931.690 | | max | 1931.728 |
| | mean | 2767.000 | | σ | 0.000 | | min | 2767.000 | | max | 2767.000 |
| | mean | 2.875 | | σ | 0.121 | | min | 2.688 | | max | 2.982 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.343 | | σ | 0.937 | | min | 4751.516 | | max | 4753.955 |
| | mean | 2767.000 | | σ | 0.000 | | min | 2767.000 | | max | 2767.000 |
| | mean | 8.332 | | σ | 0.476 | | min | 7.734 | | max | 8.978 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.842 | | σ | 0.162 | | min | 4942.554 | | max | 4942.931 |
| | mean | 3022.800 | | σ | 224.380 | | min | 2767.000 | | max | 3307.000 |
| | mean | 8.552 | | σ | 0.145 | | min | 8.385 | | max | 8.728 |
|