iters=5 new-facts=1 prior-facts=1 | | mean | 278.818 | | σ | 0.005 | | min | 278.812 | | max | 278.823 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 0.412 | | σ | 0.004 | | min | 0.409 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.880 | | σ | 0.010 | | min | 2268.873 | | max | 2268.897 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 3.080 | | σ | 0.193 | | min | 2.886 | | max | 3.309 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.265 | | σ | 0.837 | | min | 4953.856 | | max | 4955.760 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 7.945 | | σ | 0.358 | | min | 7.573 | | max | 8.532 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.789 | | σ | 0.076 | | min | 5168.718 | | max | 5168.872 |
| | mean | 3301.800 | | σ | 389.066 | | min | 2916.000 | | max | 3694.000 |
| | mean | 9.166 | | σ | 0.394 | | min | 8.726 | | max | 9.751 |
|