iters=5 new-facts=1 prior-facts=1 | | mean | 324.701 | | σ | 0.056 | | min | 324.602 | | max | 324.732 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 0.423 | | σ | 0.002 | | min | 0.420 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262 | | σ | 0.014 | | min | 1985.240 | | max | 1985.279 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 2.663 | | σ | 0.126 | | min | 2.537 | | max | 2.846 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.880 | | σ | 7.658 | | min | 4805.406 | | max | 4822.579 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 8.651 | | σ | 0.320 | | min | 8.086 | | max | 8.832 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.466 | | σ | 0.019 | | min | 4996.442 | | max | 4996.489 |
| | mean | 3042.000 | | σ | 243.873 | | min | 2835.000 | | max | 3419.000 |
| | mean | 8.515 | | σ | 0.114 | | min | 8.409 | | max | 8.702 |
|