iters=5 new-facts=1 prior-facts=1 | | mean | 277.725 | | σ | 0.023 | | min | 277.703 | | max | 277.764 |
| | mean | 2742.000 | | σ | 0.000 | | min | 2742.000 | | max | 2742.000 |
| | mean | 0.411 | | σ | 0.001 | | min | 0.409 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.876 | | σ | 0.017 | | min | 2267.847 | | max | 2267.889 |
| | mean | 2742.000 | | σ | 0.000 | | min | 2742.000 | | max | 2742.000 |
| | mean | 3.151 | | σ | 0.128 | | min | 2.944 | | max | 3.270 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.942 | | σ | 0.817 | | min | 4954.164 | | max | 4956.326 |
| | mean | 2742.000 | | σ | 0.000 | | min | 2742.000 | | max | 2742.000 |
| | mean | 7.768 | | σ | 0.199 | | min | 7.548 | | max | 8.053 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.682 | | σ | 0.136 | | min | 5169.473 | | max | 5169.855 |
| | mean | 3372.600 | | σ | 406.252 | | min | 2973.000 | | max | 3785.000 |
| | mean | 9.223 | | σ | 0.460 | | min | 8.437 | | max | 9.624 |
|