iters=5 new-facts=1 prior-facts=1 | | mean | 273.503 | | σ | 0.007 | | min | 273.495 | | max | 273.514 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 0.376 | | σ | 0.006 | | min | 0.372 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.901 | | σ | 0.009 | | min | 1933.893 | | max | 1933.914 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 2.949 | | σ | 0.172 | | min | 2.675 | | max | 3.148 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.534 | | σ | 0.984 | | min | 4753.681 | | max | 4756.237 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 8.664 | | σ | 0.225 | | min | 8.414 | | max | 8.947 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.050 | | σ | 0.165 | | min | 4944.757 | | max | 4945.144 |
| | mean | 3058.600 | | σ | 226.190 | | min | 2850.000 | | max | 3397.000 |
| | mean | 8.604 | | σ | 0.166 | | min | 8.425 | | max | 8.871 |
|