iters=5 new-facts=1 prior-facts=1 | | mean | 271.599 | | σ | 0.005 | | min | 271.591 | | max | 271.604 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 0.385 | | σ | 0.004 | | min | 0.381 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.003 | | σ | 0.010 | | min | 1931.989 | | max | 1932.016 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 2.516 | | σ | 0.084 | | min | 2.405 | | max | 2.603 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.733 | | σ | 0.916 | | min | 4752.222 | | max | 4754.365 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 8.852 | | σ | 0.268 | | min | 8.551 | | max | 9.230 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.136 | | σ | 0.151 | | min | 4942.870 | | max | 4943.233 |
| | mean | 3018.600 | | σ | 224.724 | | min | 2771.000 | | max | 3311.000 |
| | mean | 8.541 | | σ | 0.088 | | min | 8.439 | | max | 8.646 |
|