iters=5 new-facts=1 prior-facts=1 | | mean | 273.405 | | σ | 0.008 | | min | 273.392 | | max | 273.413 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 0.400 | | σ | 0.013 | | min | 0.383 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.839 | | σ | 0.013 | | min | 1933.825 | | max | 1933.852 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 2.871 | | σ | 0.213 | | min | 2.620 | | max | 3.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.168 | | σ | 1.009 | | min | 4753.378 | | max | 4755.914 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 8.142 | | σ | 0.560 | | min | 7.704 | | max | 9.009 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.791 | | σ | 0.079 | | min | 4944.711 | | max | 4944.882 |
| | mean | 3067.000 | | σ | 289.804 | | min | 2853.000 | | max | 3519.000 |
| | mean | 8.436 | | σ | 0.124 | | min | 8.297 | | max | 8.618 |
|