iters=5 new-facts=1 prior-facts=1 | | mean | 278.823 | | σ | 0.007 | | min | 278.812 | | max | 278.832 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 0.413 | | σ | 0.007 | | min | 0.406 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.879 | | σ | 0.011 | | min | 2268.865 | | max | 2268.887 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 2.907 | | σ | 0.151 | | min | 2.747 | | max | 3.143 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.261 | | σ | 0.853 | | min | 4953.780 | | max | 4955.779 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 7.974 | | σ | 0.375 | | min | 7.692 | | max | 8.612 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.720 | | σ | 0.203 | | min | 5168.382 | | max | 5168.882 |
| | mean | 3372.600 | | σ | 472.726 | | min | 2741.000 | | max | 3990.000 |
| | mean | 9.434 | | σ | 0.267 | | min | 9.194 | | max | 9.855 |
|