iters=5 new-facts=1 prior-facts=1 | | mean | 278.817 | | σ | 0.015 | | min | 278.792 | | max | 278.829 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 0.425 | | σ | 0.009 | | min | 0.409 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.881 | | σ | 0.007 | | min | 2268.871 | | max | 2268.892 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 2.966 | | σ | 0.075 | | min | 2.911 | | max | 3.096 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.275 | | σ | 1.035 | | min | 4953.573 | | max | 4956.100 |
| | mean | 2695.000 | | σ | 0.000 | | min | 2695.000 | | max | 2695.000 |
| | mean | 8.308 | | σ | 0.565 | | min | 7.691 | | max | 9.233 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.821 | | σ | 0.090 | | min | 5168.720 | | max | 5168.900 |
| | mean | 3399.800 | | σ | 461.109 | | min | 2814.000 | | max | 4016.000 |
| | mean | 9.337 | | σ | 0.262 | | min | 8.957 | | max | 9.655 |
|