iters=5 new-facts=1 prior-facts=1 | | mean | 324.688 | | σ | 0.053 | | min | 324.593 | | max | 324.719 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 0.425 | | σ | 0.002 | | min | 0.424 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.249 | | σ | 0.016 | | min | 1985.228 | | max | 1985.263 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 2.671 | | σ | 0.156 | | min | 2.535 | | max | 2.851 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.856 | | σ | 7.673 | | min | 4805.322 | | max | 4822.581 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 8.883 | | σ | 0.177 | | min | 8.635 | | max | 9.050 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.444 | | σ | 0.021 | | min | 4996.417 | | max | 4996.464 |
| | mean | 3067.000 | | σ | 297.220 | | min | 2844.000 | | max | 3529.000 |
| | mean | 8.523 | | σ | 0.115 | | min | 8.424 | | max | 8.723 |
|