iters=5 new-facts=1 prior-facts=1 | | mean | 278.695 | | σ | 0.014 | | min | 278.677 | | max | 278.709 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 0.420 | | σ | 0.001 | | min | 0.418 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.840 | | σ | 0.017 | | min | 2268.822 | | max | 2268.864 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 3.303 | | σ | 0.136 | | min | 3.144 | | max | 3.491 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.921 | | σ | 1.046 | | min | 4955.025 | | max | 4957.720 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 8.126 | | σ | 0.322 | | min | 7.745 | | max | 8.620 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.773 | | σ | 0.084 | | min | 5170.678 | | max | 5170.850 |
| | mean | 3454.200 | | σ | 474.506 | | min | 2839.000 | | max | 4118.000 |
| | mean | 9.320 | | σ | 0.153 | | min | 9.107 | | max | 9.459 |
|