iters=5 new-facts=1 prior-facts=1 | | mean | 273.605 | | σ | 0.006 | | min | 273.598 | | max | 273.615 |
| | mean | 2417.000 | | σ | 0.000 | | min | 2417.000 | | max | 2417.000 |
| | mean | 0.384 | | σ | 0.004 | | min | 0.380 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.998 | | σ | 0.006 | | min | 1933.994 | | max | 1934.008 |
| | mean | 2417.000 | | σ | 0.000 | | min | 2417.000 | | max | 2417.000 |
| | mean | 2.982 | | σ | 0.167 | | min | 2.706 | | max | 3.131 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.802 | | σ | 0.843 | | min | 4754.366 | | max | 4756.305 |
| | mean | 2417.000 | | σ | 0.000 | | min | 2417.000 | | max | 2417.000 |
| | mean | 8.296 | | σ | 0.391 | | min | 7.845 | | max | 8.705 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.223 | | σ | 0.014 | | min | 4945.202 | | max | 4945.238 |
| | mean | 2902.400 | | σ | 408.551 | | min | 2417.000 | | max | 3456.000 |
| | mean | 8.440 | | σ | 0.072 | | min | 8.356 | | max | 8.519 |
|