iters=5 new-facts=1 prior-facts=1 | | mean | 270.128 | | σ | 0.008 | | min | 270.118 | | max | 270.137 |
| | mean | 2453.000 | | σ | 0.000 | | min | 2453.000 | | max | 2453.000 |
| | mean | 0.379 | | σ | 0.007 | | min | 0.369 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.590 | | σ | 0.017 | | min | 1930.563 | | max | 1930.605 |
| | mean | 2453.000 | | σ | 0.000 | | min | 2453.000 | | max | 2453.000 |
| | mean | 2.675 | | σ | 0.264 | | min | 2.468 | | max | 3.116 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.016 | | σ | 0.611 | | min | 4750.648 | | max | 4752.093 |
| | mean | 2453.000 | | σ | 0.000 | | min | 2453.000 | | max | 2453.000 |
| | mean | 8.203 | | σ | 0.563 | | min | 7.680 | | max | 9.091 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.454 | | σ | 0.123 | | min | 4941.265 | | max | 4941.609 |
| | mean | 2923.800 | | σ | 397.275 | | min | 2453.000 | | max | 3421.000 |
| | mean | 8.497 | | σ | 0.217 | | min | 8.282 | | max | 8.833 |
|