iters=5 new-facts=1 prior-facts=1 | | mean | 293.779 | | σ | 0.011 | | min | 293.767 | | max | 293.797 |
| | mean | 2719.000 | | σ | 0.000 | | min | 2719.000 | | max | 2719.000 |
| | mean | 0.400 | | σ | 0.002 | | min | 0.397 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1955.771 | | σ | 0.037 | | min | 1955.705 | | max | 1955.796 |
| | mean | 2719.000 | | σ | 0.000 | | min | 2719.000 | | max | 2719.000 |
| | mean | 2.747 | | σ | 0.132 | | min | 2.590 | | max | 2.892 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2751.942 | | σ | 7.300 | | min | 2748.432 | | max | 2764.996 |
| | mean | 2719.000 | | σ | 0.000 | | min | 2719.000 | | max | 2719.000 |
| | mean | 5.613 | | σ | 0.579 | | min | 4.752 | | max | 6.327 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2938.826 | | σ | 0.022 | | min | 2938.804 | | max | 2938.858 |
| | mean | 3007.000 | | σ | 269.447 | | min | 2719.000 | | max | 3371.000 |
| | mean | 5.977 | | σ | 0.461 | | min | 5.616 | | max | 6.687 |
|