iters=5 new-facts=1 prior-facts=1 | | mean | 273.403 | | σ | 0.011 | | min | 273.395 | | max | 273.418 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 0.387 | | σ | 0.008 | | min | 0.377 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.839 | | σ | 0.011 | | min | 1933.826 | | max | 1933.850 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 2.913 | | σ | 0.262 | | min | 2.471 | | max | 3.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.357 | | σ | 0.853 | | min | 4753.735 | | max | 4755.859 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 8.648 | | σ | 0.610 | | min | 7.754 | | max | 9.465 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.803 | | σ | 0.078 | | min | 4944.737 | | max | 4944.888 |
| | mean | 3015.200 | | σ | 359.008 | | min | 2533.000 | | max | 3348.000 |
| | mean | 8.873 | | σ | 0.390 | | min | 8.524 | | max | 9.422 |
|