iters=5 new-facts=1 prior-facts=1 | | mean | 324.704 | | σ | 0.056 | | min | 324.605 | | max | 324.739 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.423 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.269 | | σ | 0.008 | | min | 1985.259 | | max | 1985.281 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.592 | | σ | 0.067 | | min | 2.535 | | max | 2.675 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858 | | σ | 7.683 | | min | 4805.394 | | max | 4822.601 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 8.824 | | σ | 0.285 | | min | 8.344 | | max | 9.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467 | | σ | 0.018 | | min | 4996.449 | | max | 4996.494 |
| | mean | 3067.400 | | σ | 219.865 | | min | 2836.000 | | max | 3391.000 |
| | mean | 8.683 | | σ | 0.165 | | min | 8.509 | | max | 8.879 |
|