iters=5 new-facts=1 prior-facts=1 | | mean | 324.012 | | σ | 0.053 | | min | 323.918 | | max | 324.041 |
| | mean | 2506.000 | | σ | 0.000 | | min | 2506.000 | | max | 2506.000 |
| | mean | 0.426 | | σ | 0.002 | | min | 0.424 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.580 | | σ | 0.015 | | min | 1984.565 | | max | 1984.599 |
| | mean | 2506.000 | | σ | 0.000 | | min | 2506.000 | | max | 2506.000 |
| | mean | 2.608 | | σ | 0.123 | | min | 2.444 | | max | 2.769 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.191 | | σ | 7.814 | | min | 4804.145 | | max | 4822.156 |
| | mean | 2506.000 | | σ | 0.000 | | min | 2506.000 | | max | 2506.000 |
| | mean | 8.498 | | σ | 0.486 | | min | 7.928 | | max | 9.020 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.805 | | σ | 0.019 | | min | 4995.783 | | max | 4995.819 |
| | mean | 2941.000 | | σ | 307.335 | | min | 2506.000 | | max | 3324.000 |
| | mean | 8.556 | | σ | 0.046 | | min | 8.479 | | max | 8.596 |
|