iters=5 new-facts=1 prior-facts=1 | | mean | 273.404 | | σ | 0.008 | | min | 273.396 | | max | 273.414 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 0.386 | | σ | 0.011 | | min | 0.377 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.841 | | σ | 0.017 | | min | 1933.829 | | max | 1933.869 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 2.862 | | σ | 0.229 | | min | 2.496 | | max | 3.082 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.360 | | σ | 0.791 | | min | 4753.879 | | max | 4755.767 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 8.312 | | σ | 0.594 | | min | 7.800 | | max | 9.265 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.725 | | σ | 0.127 | | min | 4944.525 | | max | 4944.878 |
| | mean | 2943.200 | | σ | 396.335 | | min | 2513.000 | | max | 3471.000 |
| | mean | 8.438 | | σ | 0.127 | | min | 8.345 | | max | 8.660 |
|