iters=5 new-facts=1 prior-facts=1 | | mean | 324.588 | | σ | 0.046 | | min | 324.507 | | max | 324.618 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.422 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.134 | | σ | 0.014 | | min | 1985.117 | | max | 1985.149 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 2.597 | | σ | 0.072 | | min | 2.530 | | max | 2.677 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.757 | | σ | 7.666 | | min | 4805.215 | | max | 4822.469 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 9.001 | | σ | 0.304 | | min | 8.701 | | max | 9.507 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.345 | | σ | 0.024 | | min | 4996.323 | | max | 4996.378 |
| | mean | 3071.000 | | σ | 227.190 | | min | 2832.000 | | max | 3400.000 |
| | mean | 8.830 | | σ | 0.321 | | min | 8.541 | | max | 9.311 |
|