iters=5 new-facts=1 prior-facts=1 | | mean | 324.683 | | σ | 0.056 | | min | 324.588 | | max | 324.722 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 0.429 | | σ | 0.007 | | min | 0.425 | | max | 0.442 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253 | | σ | 0.007 | | min | 1985.244 | | max | 1985.263 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 2.689 | | σ | 0.116 | | min | 2.546 | | max | 2.842 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.841 | | σ | 7.656 | | min | 4805.374 | | max | 4822.536 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 8.831 | | σ | 0.170 | | min | 8.633 | | max | 8.974 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.456 | | σ | 0.017 | | min | 4996.432 | | max | 4996.476 |
| | mean | 3058.000 | | σ | 248.623 | | min | 2826.000 | | max | 3319.000 |
| | mean | 8.754 | | σ | 0.245 | | min | 8.509 | | max | 9.104 |
|