iters=5 new-facts=1 prior-facts=1 | | mean | 269.929 | | σ | 0.004 | | min | 269.923 | | max | 269.934 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 0.374 | | σ | 0.006 | | min | 0.371 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.389 | | σ | 0.019 | | min | 1930.362 | | max | 1930.408 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 2.572 | | σ | 0.145 | | min | 2.498 | | max | 2.830 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.876 | | σ | 0.820 | | min | 4750.255 | | max | 4752.294 |
| | mean | 2465.000 | | σ | 0.000 | | min | 2465.000 | | max | 2465.000 |
| | mean | 8.750 | | σ | 0.583 | | min | 8.312 | | max | 9.748 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.257 | | σ | 0.128 | | min | 4941.066 | | max | 4941.427 |
| | mean | 2995.600 | | σ | 286.716 | | min | 2583.000 | | max | 3303.000 |
| | mean | 8.475 | | σ | 0.069 | | min | 8.369 | | max | 8.539 |
|