iters=5 new-facts=1 prior-facts=1 | | mean | 271.955 | | σ | 0.004 | | min | 271.950 | | max | 271.960 |
| | mean | 2620.000 | | σ | 0.000 | | min | 2620.000 | | max | 2620.000 |
| | mean | 0.385 | | σ | 0.006 | | min | 0.380 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.324 | | σ | 0.025 | | min | 1932.298 | | max | 1932.358 |
| | mean | 2620.000 | | σ | 0.000 | | min | 2620.000 | | max | 2620.000 |
| | mean | 2.899 | | σ | 0.278 | | min | 2.433 | | max | 3.178 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.059 | | σ | 0.924 | | min | 4752.595 | | max | 4754.710 |
| | mean | 2620.000 | | σ | 0.000 | | min | 2620.000 | | max | 2620.000 |
| | mean | 8.667 | | σ | 0.474 | | min | 7.867 | | max | 8.995 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.562 | | σ | 0.013 | | min | 4943.546 | | max | 4943.576 |
| | mean | 2966.400 | | σ | 262.096 | | min | 2620.000 | | max | 3316.000 |
| | mean | 8.610 | | σ | 0.188 | | min | 8.430 | | max | 8.927 |
|