iters=5 new-facts=1 prior-facts=1 | | mean | 273.404 | | σ | 0.012 | | min | 273.392 | | max | 273.420 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 0.386 | | σ | 0.010 | | min | 0.376 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.836 | | σ | 0.007 | | min | 1933.825 | | max | 1933.844 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 3.053 | | σ | 0.090 | | min | 2.975 | | max | 3.177 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.403 | | σ | 0.851 | | min | 4753.922 | | max | 4755.915 |
| | mean | 2478.000 | | σ | 0.000 | | min | 2478.000 | | max | 2478.000 |
| | mean | 8.102 | | σ | 0.574 | | min | 7.632 | | max | 9.089 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.729 | | σ | 0.123 | | min | 4944.543 | | max | 4944.890 |
| | mean | 2913.800 | | σ | 394.657 | | min | 2478.000 | | max | 3452.000 |
| | mean | 8.399 | | σ | 0.039 | | min | 8.359 | | max | 8.448 |
|