iters=5 new-facts=1 prior-facts=1 | | mean | 269.381 | | σ | 0.007 | | min | 269.372 | | max | 269.390 |
| | mean | 2423.000 | | σ | 0.000 | | min | 2423.000 | | max | 2423.000 |
| | mean | 0.378 | | σ | 0.003 | | min | 0.376 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.745 | | σ | 0.011 | | min | 1929.730 | | max | 1929.758 |
| | mean | 2423.000 | | σ | 0.000 | | min | 2423.000 | | max | 2423.000 |
| | mean | 2.943 | | σ | 0.130 | | min | 2.798 | | max | 3.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.490 | | σ | 0.859 | | min | 4750.056 | | max | 4752.026 |
| | mean | 2423.000 | | σ | 0.000 | | min | 2423.000 | | max | 2423.000 |
| | mean | 8.535 | | σ | 0.424 | | min | 7.854 | | max | 8.898 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.913 | | σ | 0.152 | | min | 4940.643 | | max | 4940.994 |
| | mean | 2920.600 | | σ | 330.766 | | min | 2423.000 | | max | 3303.000 |
| | mean | 8.523 | | σ | 0.135 | | min | 8.397 | | max | 8.735 |
|