iters=5 new-facts=1 prior-facts=1 | | mean | 324.582 | | σ | 0.053 | | min | 324.488 | | max | 324.614 |
| | mean | 2408.000 | | σ | 0.000 | | min | 2408.000 | | max | 2408.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.423 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.118 | | σ | 0.019 | | min | 1985.098 | | max | 1985.148 |
| | mean | 2408.000 | | σ | 0.000 | | min | 2408.000 | | max | 2408.000 |
| | mean | 2.664 | | σ | 0.113 | | min | 2.531 | | max | 2.801 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.690 | | σ | 7.687 | | min | 4804.669 | | max | 4822.425 |
| | mean | 2408.000 | | σ | 0.000 | | min | 2408.000 | | max | 2408.000 |
| | mean | 8.792 | | σ | 0.687 | | min | 7.700 | | max | 9.513 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.346 | | σ | 0.012 | | min | 4996.331 | | max | 4996.359 |
| | mean | 2894.800 | | σ | 393.672 | | min | 2408.000 | | max | 3411.000 |
| | mean | 8.460 | | σ | 0.071 | | min | 8.378 | | max | 8.541 |
|