iters=5 new-facts=1 prior-facts=1 | | mean | 273.607 | | σ | 0.007 | | min | 273.598 | | max | 273.617 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 0.381 | | σ | 0.002 | | min | 0.379 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.006 | | σ | 0.015 | | min | 1933.989 | | max | 1934.026 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 2.854 | | σ | 0.287 | | min | 2.392 | | max | 3.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.543 | | σ | 0.723 | | min | 4753.825 | | max | 4755.754 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 8.515 | | σ | 0.466 | | min | 7.792 | | max | 8.916 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.226 | | σ | 0.017 | | min | 4945.208 | | max | 4945.246 |
| | mean | 3048.600 | | σ | 199.085 | | min | 2847.000 | | max | 3307.000 |
| | mean | 8.604 | | σ | 0.190 | | min | 8.384 | | max | 8.814 |
|