iters=5 new-facts=1 prior-facts=1 | | mean | 278.824 | | σ | 0.007 | | min | 278.812 | | max | 278.831 |
| | mean | 2596.000 | | σ | 0.000 | | min | 2596.000 | | max | 2596.000 |
| | mean | 0.414 | | σ | 0.010 | | min | 0.405 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.878 | | σ | 0.012 | | min | 2268.857 | | max | 2268.886 |
| | mean | 2596.000 | | σ | 0.000 | | min | 2596.000 | | max | 2596.000 |
| | mean | 2.932 | | σ | 0.049 | | min | 2.889 | | max | 3.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.289 | | σ | 0.936 | | min | 4953.706 | | max | 4955.952 |
| | mean | 2596.000 | | σ | 0.000 | | min | 2596.000 | | max | 2596.000 |
| | mean | 7.982 | | σ | 0.367 | | min | 7.649 | | max | 8.581 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.759 | | σ | 0.221 | | min | 5168.386 | | max | 5168.908 |
| | mean | 3404.000 | | σ | 445.308 | | min | 2806.000 | | max | 3974.000 |
| | mean | 9.356 | | σ | 0.541 | | min | 8.801 | | max | 10.007 |
|