iters=5 new-facts=1 prior-facts=1 | | mean | 295.231 | | σ | 0.014 | | min | 295.210 | | max | 295.250 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 0.384 | | σ | 0.001 | | min | 0.382 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1317.494 | | σ | 0.100 | | min | 1317.426 | | max | 1317.672 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 1.869 | | σ | 0.056 | | min | 1.822 | | max | 1.931 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.828 | | σ | 6.881 | | min | 1552.518 | | max | 1568.131 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 2.278 | | σ | 0.246 | | min | 2.128 | | max | 2.711 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1885.323 | | σ | 0.020 | | min | 1885.297 | | max | 1885.344 |
| | mean | 1772.800 | | σ | 177.909 | | min | 1626.000 | | max | 2043.000 |
| | mean | 2.893 | | σ | 0.137 | | min | 2.720 | | max | 3.104 |
|