iters=5 new-facts=1 prior-facts=1 | | mean | 273.407 | | σ | 0.010 | | min | 273.399 | | max | 273.422 |
| | mean | 2450.000 | | σ | 0.000 | | min | 2450.000 | | max | 2450.000 |
| | mean | 0.402 | | σ | 0.007 | | min | 0.391 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.838 | | σ | 0.013 | | min | 1933.822 | | max | 1933.851 |
| | mean | 2450.000 | | σ | 0.000 | | min | 2450.000 | | max | 2450.000 |
| | mean | 3.105 | | σ | 0.133 | | min | 2.998 | | max | 3.279 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.250 | | σ | 0.702 | | min | 4753.740 | | max | 4755.488 |
| | mean | 2450.000 | | σ | 0.000 | | min | 2450.000 | | max | 2450.000 |
| | mean | 8.753 | | σ | 0.730 | | min | 7.686 | | max | 9.642 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.807 | | σ | 0.086 | | min | 4944.739 | | max | 4944.902 |
| | mean | 2980.000 | | σ | 351.343 | | min | 2529.000 | | max | 3317.000 |
| | mean | 8.676 | | σ | 0.170 | | min | 8.465 | | max | 8.891 |
|