iters=5 new-facts=1 prior-facts=1 | | mean | 273.403 | | σ | 0.005 | | min | 273.395 | | max | 273.408 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 0.393 | | σ | 0.011 | | min | 0.379 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.840 | | σ | 0.017 | | min | 1933.825 | | max | 1933.865 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 2.935 | | σ | 0.196 | | min | 2.636 | | max | 3.172 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.340 | | σ | 0.888 | | min | 4753.837 | | max | 4755.923 |
| | mean | 2853.000 | | σ | 0.000 | | min | 2853.000 | | max | 2853.000 |
| | mean | 8.599 | | σ | 0.427 | | min | 8.129 | | max | 9.160 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.729 | | σ | 0.208 | | min | 4944.378 | | max | 4944.894 |
| | mean | 3074.000 | | σ | 210.680 | | min | 2853.000 | | max | 3384.000 |
| | mean | 8.709 | | σ | 0.403 | | min | 8.419 | | max | 9.380 |
|