iters=5 new-facts=1 prior-facts=1 | | mean | 324.702 | | σ | 0.055 | | min | 324.603 | | max | 324.731 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 0.425 | | σ | 0.002 | | min | 0.423 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258 | | σ | 0.020 | | min | 1985.226 | | max | 1985.276 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 2.564 | | σ | 0.048 | | min | 2.512 | | max | 2.643 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.910 | | σ | 7.645 | | min | 4805.327 | | max | 4822.585 |
| | mean | 2840.000 | | σ | 0.000 | | min | 2840.000 | | max | 2840.000 |
| | mean | 8.465 | | σ | 0.605 | | min | 7.721 | | max | 9.051 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.412 | | σ | 0.141 | | min | 4996.162 | | max | 4996.493 |
| | mean | 3052.200 | | σ | 222.074 | | min | 2840.000 | | max | 3371.000 |
| | mean | 8.666 | | σ | 0.200 | | min | 8.503 | | max | 8.991 |
|