iters=5 new-facts=1 prior-facts=1 | | mean | 321.050 | | σ | 0.037 | | min | 320.985 | | max | 321.073 |
| | mean | 2761.000 | | σ | 0.000 | | min | 2761.000 | | max | 2761.000 |
| | mean | 0.421 | | σ | 0.001 | | min | 0.419 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.621 | | σ | 0.013 | | min | 1981.601 | | max | 1981.635 |
| | mean | 2761.000 | | σ | 0.000 | | min | 2761.000 | | max | 2761.000 |
| | mean | 2.699 | | σ | 0.112 | | min | 2.562 | | max | 2.847 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.256 | | σ | 7.706 | | min | 4801.761 | | max | 4819.040 |
| | mean | 2761.000 | | σ | 0.000 | | min | 2761.000 | | max | 2761.000 |
| | mean | 8.888 | | σ | 0.243 | | min | 8.508 | | max | 9.151 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.833 | | σ | 0.015 | | min | 4992.816 | | max | 4992.845 |
| | mean | 3053.400 | | σ | 298.366 | | min | 2761.000 | | max | 3358.000 |
| | mean | 8.848 | | σ | 0.322 | | min | 8.455 | | max | 9.310 |
|