iters=5 new-facts=1 prior-facts=1 | | mean | 270.240 | | σ | 0.009 | | min | 270.229 | | max | 270.254 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.385 | | σ | 0.010 | | min | 0.373 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.705 | | σ | 0.012 | | min | 1930.692 | | max | 1930.723 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 2.507 | | σ | 0.066 | | min | 2.448 | | max | 2.597 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.401 | | σ | 0.911 | | min | 4750.892 | | max | 4753.020 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 8.590 | | σ | 0.415 | | min | 8.012 | | max | 9.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.801 | | σ | 0.159 | | min | 4941.518 | | max | 4941.889 |
| | mean | 3069.800 | | σ | 233.967 | | min | 2849.000 | | max | 3411.000 |
| | mean | 8.670 | | σ | 0.487 | | min | 8.338 | | max | 9.515 |
|