iters=5 new-facts=1 prior-facts=1 | | mean | 324.694 | | σ | 0.050 | | min | 324.607 | | max | 324.737 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 0.428 | | σ | 0.008 | | min | 0.421 | | max | 0.442 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.256 | | σ | 0.006 | | min | 1985.248 | | max | 1985.265 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 2.583 | | σ | 0.057 | | min | 2.539 | | max | 2.651 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.841 | | σ | 7.669 | | min | 4805.336 | | max | 4822.560 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 8.775 | | σ | 0.117 | | min | 8.633 | | max | 8.950 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.459 | | σ | 0.022 | | min | 4996.435 | | max | 4996.483 |
| | mean | 3049.400 | | σ | 201.244 | | min | 2826.000 | | max | 3340.000 |
| | mean | 8.720 | | σ | 0.248 | | min | 8.435 | | max | 9.089 |
|