iters=5 new-facts=1 prior-facts=1 | | mean | 270.608 | | σ | 0.005 | | min | 270.602 | | max | 270.615 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 0.378 | | σ | 0.001 | | min | 0.376 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.046 | | σ | 0.012 | | min | 1931.036 | | max | 1931.067 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 2.922 | | σ | 0.183 | | min | 2.607 | | max | 3.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.776 | | σ | 0.918 | | min | 4751.221 | | max | 4753.406 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 8.566 | | σ | 0.466 | | min | 7.961 | | max | 9.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.231 | | σ | 0.017 | | min | 4942.213 | | max | 4942.255 |
| | mean | 3050.400 | | σ | 242.162 | | min | 2770.000 | | max | 3397.000 |
| | mean | 8.640 | | σ | 0.213 | | min | 8.387 | | max | 8.933 |
|