iters=5 new-facts=1 prior-facts=1 | | mean | 269.932 | | σ | 0.008 | | min | 269.923 | | max | 269.942 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 0.373 | | σ | 0.012 | | min | 0.366 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.387 | | σ | 0.019 | | min | 1930.357 | | max | 1930.405 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 2.536 | | σ | 0.055 | | min | 2.478 | | max | 2.596 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.833 | | σ | 0.813 | | min | 4750.320 | | max | 4752.270 |
| | mean | 2503.000 | | σ | 0.000 | | min | 2503.000 | | max | 2503.000 |
| | mean | 8.679 | | σ | 0.214 | | min | 8.437 | | max | 8.929 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.261 | | σ | 0.211 | | min | 4940.909 | | max | 4941.432 |
| | mean | 2978.000 | | σ | 264.790 | | min | 2633.000 | | max | 3316.000 |
| | mean | 8.574 | | σ | 0.175 | | min | 8.446 | | max | 8.843 |
|