iters=5 new-facts=1 prior-facts=1 | | mean | 273.608 | | σ | 0.006 | | min | 273.602 | | max | 273.617 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 0.382 | | σ | 0.005 | | min | 0.379 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.002 | | σ | 0.015 | | min | 1933.979 | | max | 1934.017 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 3.051 | | σ | 0.169 | | min | 2.849 | | max | 3.299 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.799 | | σ | 0.816 | | min | 4754.320 | | max | 4756.253 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 8.285 | | σ | 0.414 | | min | 7.624 | | max | 8.755 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.218 | | σ | 0.014 | | min | 4945.203 | | max | 4945.239 |
| | mean | 3072.400 | | σ | 222.667 | | min | 2850.000 | | max | 3370.000 |
| | mean | 8.794 | | σ | 0.272 | | min | 8.493 | | max | 9.079 |
|