iters=5 new-facts=1 prior-facts=1 | | mean | 324.703 | | σ | 0.052 | | min | 324.612 | | max | 324.740 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 0.427 | | σ | 0.002 | | min | 0.424 | | max | 0.430 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.257 | | σ | 0.007 | | min | 1985.248 | | max | 1985.263 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 2.691 | | σ | 0.156 | | min | 2.581 | | max | 2.942 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.882 | | σ | 7.659 | | min | 4805.416 | | max | 4822.583 |
| | mean | 2832.000 | | σ | 0.000 | | min | 2832.000 | | max | 2832.000 |
| | mean | 8.941 | | σ | 0.219 | | min | 8.616 | | max | 9.178 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.394 | | σ | 0.149 | | min | 4996.130 | | max | 4996.481 |
| | mean | 3066.600 | | σ | 305.565 | | min | 2832.000 | | max | 3538.000 |
| | mean | 8.543 | | σ | 0.160 | | min | 8.426 | | max | 8.821 |
|