iters=5 new-facts=1 prior-facts=1 | | mean | 345.003 | | σ | 0.069 | | min | 344.880 | | max | 345.042 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 0.450 | | σ | 0.019 | | min | 0.435 | | max | 0.476 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.175 | | σ | 0.008 | | min | 2007.168 | | max | 2007.186 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 2.741 | | σ | 0.101 | | min | 2.631 | | max | 2.899 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.125 | | σ | 7.731 | | min | 4828.505 | | max | 4845.952 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 9.013 | | σ | 0.761 | | min | 7.789 | | max | 9.591 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.593 | | σ | 0.031 | | min | 5019.558 | | max | 5019.644 |
| | mean | 3014.000 | | σ | 237.072 | | min | 2731.000 | | max | 3298.000 |
| | mean | 10.067 | | σ | 0.542 | | min | 9.483 | | max | 10.939 |
|