iters=5 new-facts=1 prior-facts=1 | | mean | 292.422 | | σ | 0.022 | | min | 292.383 | | max | 292.438 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 0.398 | | σ | 0.001 | | min | 0.397 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1952.958 | | σ | 0.021 | | min | 1952.933 | | max | 1952.981 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 2.617 | | σ | 0.095 | | min | 2.531 | | max | 2.763 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4778.919 | | σ | 7.621 | | min | 4775.299 | | max | 4792.550 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 8.499 | | σ | 0.543 | | min | 7.905 | | max | 9.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4966.443 | | σ | 0.094 | | min | 4966.371 | | max | 4966.546 |
| | mean | 3003.800 | | σ | 191.224 | | min | 2832.000 | | max | 3297.000 |
| | mean | 8.532 | | σ | 0.126 | | min | 8.355 | | max | 8.697 |
|