iters=5 new-facts=1 prior-facts=1 | | mean | 278.828 | | σ | 0.004 | | min | 278.822 | | max | 278.830 |
| | mean | 2725.000 | | σ | 0.000 | | min | 2725.000 | | max | 2725.000 |
| | mean | 0.414 | | σ | 0.009 | | min | 0.406 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.882 | | σ | 0.006 | | min | 2268.872 | | max | 2268.886 |
| | mean | 2725.000 | | σ | 0.000 | | min | 2725.000 | | max | 2725.000 |
| | mean | 2.995 | | σ | 0.108 | | min | 2.888 | | max | 3.119 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.281 | | σ | 0.838 | | min | 4953.803 | | max | 4955.775 |
| | mean | 2725.000 | | σ | 0.000 | | min | 2725.000 | | max | 2725.000 |
| | mean | 7.974 | | σ | 0.217 | | min | 7.722 | | max | 8.267 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.753 | | σ | 0.224 | | min | 5168.375 | | max | 5168.911 |
| | mean | 3503.800 | | σ | 490.698 | | min | 2858.000 | | max | 4178.000 |
| | mean | 9.399 | | σ | 0.236 | | min | 9.050 | | max | 9.655 |
|