iters=5 new-facts=1 prior-facts=1 | | mean | 324.705 | | σ | 0.055 | | min | 324.606 | | max | 324.734 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 0.425 | | σ | 0.004 | | min | 0.422 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.276 | | σ | 0.005 | | min | 1985.270 | | max | 1985.283 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 2.585 | | σ | 0.051 | | min | 2.538 | | max | 2.645 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.877 | | σ | 7.707 | | min | 4805.374 | | max | 4822.663 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 8.930 | | σ | 0.257 | | min | 8.715 | | max | 9.324 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.481 | | σ | 0.015 | | min | 4996.463 | | max | 4996.504 |
| | mean | 3048.000 | | σ | 201.651 | | min | 2835.000 | | max | 3343.000 |
| | mean | 8.758 | | σ | 0.231 | | min | 8.504 | | max | 9.076 |
|