iters=5 new-facts=1 prior-facts=1 | | mean | 278.694 | | σ | 0.014 | | min | 278.682 | | max | 278.718 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 0.417 | | σ | 0.002 | | min | 0.415 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.873 | | σ | 0.007 | | min | 2268.865 | | max | 2268.883 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 2.878 | | σ | 0.107 | | min | 2.742 | | max | 3.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.325 | | σ | 0.892 | | min | 4951.844 | | max | 4953.918 |
| | mean | 2606.000 | | σ | 0.000 | | min | 2606.000 | | max | 2606.000 |
| | mean | 8.156 | | σ | 0.307 | | min | 7.732 | | max | 8.584 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.013 | | σ | 0.145 | | min | 5166.753 | | max | 5167.090 |
| | mean | 3392.400 | | σ | 445.064 | | min | 2769.000 | | max | 3940.000 |
| | mean | 9.489 | | σ | 0.437 | | min | 9.032 | | max | 10.071 |
|