iters=5 new-facts=1 prior-facts=1 | | mean | 272.019 | | σ | 0.006 | | min | 272.013 | | max | 272.030 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 0.393 | | σ | 0.013 | | min | 0.377 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.438 | | σ | 0.004 | | min | 1932.433 | | max | 1932.444 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 3.118 | | σ | 0.133 | | min | 3.002 | | max | 3.327 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.200 | | σ | 0.880 | | min | 4752.665 | | max | 4754.758 |
| | mean | 2855.000 | | σ | 0.000 | | min | 2855.000 | | max | 2855.000 |
| | mean | 8.302 | | σ | 0.680 | | min | 7.641 | | max | 9.161 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.557 | | σ | 0.162 | | min | 4943.270 | | max | 4943.656 |
| | mean | 3084.000 | | σ | 260.905 | | min | 2855.000 | | max | 3446.000 |
| | mean | 8.451 | | σ | 0.149 | | min | 8.344 | | max | 8.711 |
|