iters=5 new-facts=1 prior-facts=1 | | mean | 303.789 | | σ | 0.050 | | min | 303.719 | | max | 303.844 |
| | mean | 1575.000 | | σ | 0.000 | | min | 1575.000 | | max | 1575.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.391 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.324 | | σ | 0.100 | | min | 1326.196 | | max | 1326.456 |
| | mean | 1575.000 | | σ | 0.000 | | min | 1575.000 | | max | 1575.000 |
| | mean | 1.917 | | σ | 0.112 | | min | 1.765 | | max | 2.059 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.482 | | σ | 6.833 | | min | 1561.281 | | max | 1576.702 |
| | mean | 1575.000 | | σ | 0.000 | | min | 1575.000 | | max | 1575.000 |
| | mean | 2.455 | | σ | 0.314 | | min | 2.053 | | max | 2.817 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.283 | | σ | 0.066 | | min | 1894.166 | | max | 1894.327 |
| | mean | 1771.800 | | σ | 196.571 | | min | 1575.000 | | max | 2034.000 |
| | mean | 2.991 | | σ | 0.079 | | min | 2.865 | | max | 3.062 |
|