iters=5 new-facts=1 prior-facts=1 | | mean | 324.022 | | σ | 0.054 | | min | 323.925 | | max | 324.050 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 0.428 | | σ | 0.005 | | min | 0.425 | | max | 0.436 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588 | | σ | 0.023 | | min | 1984.562 | | max | 1984.608 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 2.687 | | σ | 0.155 | | min | 2.561 | | max | 2.860 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.111 | | σ | 7.842 | | min | 4804.089 | | max | 4822.129 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 8.635 | | σ | 0.370 | | min | 8.103 | | max | 9.032 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.735 | | σ | 0.167 | | min | 4995.437 | | max | 4995.828 |
| | mean | 2898.000 | | σ | 399.332 | | min | 2425.000 | | max | 3456.000 |
| | mean | 8.441 | | σ | 0.044 | | min | 8.383 | | max | 8.483 |
|