iters=5 new-facts=1 prior-facts=1 | | mean | 266.760 | | σ | 0.008 | | min | 266.751 | | max | 266.771 |
| | mean | 2475.000 | | σ | 0.000 | | min | 2475.000 | | max | 2475.000 |
| | mean | 0.370 | | σ | 0.011 | | min | 0.363 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.208 | | σ | 0.007 | | min | 1927.199 | | max | 1927.217 |
| | mean | 2475.000 | | σ | 0.000 | | min | 2475.000 | | max | 2475.000 |
| | mean | 2.995 | | σ | 0.089 | | min | 2.877 | | max | 3.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.627 | | σ | 0.850 | | min | 4746.849 | | max | 4749.073 |
| | mean | 2475.000 | | σ | 0.000 | | min | 2475.000 | | max | 2475.000 |
| | mean | 8.193 | | σ | 0.421 | | min | 7.687 | | max | 8.685 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.167 | | σ | 0.082 | | min | 4938.095 | | max | 4938.265 |
| | mean | 2950.400 | | σ | 413.733 | | min | 2475.000 | | max | 3504.000 |
| | mean | 8.438 | | σ | 0.236 | | min | 8.262 | | max | 8.854 |
|