iters=5 new-facts=1 prior-facts=1 | | mean | 266.782 | | σ | 0.005 | | min | 266.776 | | max | 266.787 |
| | mean | 2812.000 | | σ | 0.000 | | min | 2812.000 | | max | 2812.000 |
| | mean | 0.364 | | σ | 0.001 | | min | 0.362 | | max | 0.365 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.208 | | σ | 0.002 | | min | 1927.205 | | max | 1927.211 |
| | mean | 2812.000 | | σ | 0.000 | | min | 2812.000 | | max | 2812.000 |
| | mean | 3.056 | | σ | 0.228 | | min | 2.881 | | max | 3.408 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.657 | | σ | 0.877 | | min | 4746.990 | | max | 4749.198 |
| | mean | 2812.000 | | σ | 0.000 | | min | 2812.000 | | max | 2812.000 |
| | mean | 8.025 | | σ | 0.525 | | min | 7.658 | | max | 8.935 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.171 | | σ | 0.090 | | min | 4938.101 | | max | 4938.272 |
| | mean | 3025.200 | | σ | 276.419 | | min | 2812.000 | | max | 3449.000 |
| | mean | 8.448 | | σ | 0.128 | | min | 8.287 | | max | 8.607 |
|