iters=5 new-facts=1 prior-facts=1 | | mean | 394.162 | | σ | 0.090 | | min | 394.029 | | max | 394.228 |
| | mean | 1625.000 | | σ | 0.000 | | min | 1625.000 | | max | 1625.000 |
| | mean | 0.497 | | σ | 0.010 | | min | 0.486 | | max | 0.512 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1395.750 | | σ | 0.035 | | min | 1395.726 | | max | 1395.811 |
| | mean | 1625.000 | | σ | 0.000 | | min | 1625.000 | | max | 1625.000 |
| | mean | 2.062 | | σ | 0.075 | | min | 2.004 | | max | 2.194 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1917.929 | | σ | 7.126 | | min | 1914.609 | | max | 1930.671 |
| | mean | 1625.000 | | σ | 0.000 | | min | 1625.000 | | max | 1625.000 |
| | mean | 4.281 | | σ | 0.200 | | min | 4.016 | | max | 4.531 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2180.559 | | σ | 0.014 | | min | 2180.550 | | max | 2180.584 |
| | mean | 1855.800 | | σ | 197.993 | | min | 1625.000 | | max | 2076.000 |
| | mean | 4.638 | | σ | 0.051 | | min | 4.588 | | max | 4.711 |
|