iters=5 new-facts=1 prior-facts=1 | | mean | 324.717 | | σ | 0.025 | | min | 324.674 | | max | 324.732 |
| | mean | 2751.000 | | σ | 0.000 | | min | 2751.000 | | max | 2751.000 |
| | mean | 0.424 | | σ | 0.001 | | min | 0.422 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.268 | | σ | 0.006 | | min | 1985.263 | | max | 1985.279 |
| | mean | 2751.000 | | σ | 0.000 | | min | 2751.000 | | max | 2751.000 |
| | mean | 2.600 | | σ | 0.061 | | min | 2.550 | | max | 2.702 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.896 | | σ | 7.656 | | min | 4805.419 | | max | 4822.590 |
| | mean | 2751.000 | | σ | 0.000 | | min | 2751.000 | | max | 2751.000 |
| | mean | 9.045 | | σ | 0.204 | | min | 8.802 | | max | 9.232 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.399 | | σ | 0.161 | | min | 4996.113 | | max | 4996.496 |
| | mean | 3006.200 | | σ | 250.417 | | min | 2751.000 | | max | 3357.000 |
| | mean | 8.728 | | σ | 0.233 | | min | 8.494 | | max | 9.042 |
|