iters=5 new-facts=1 prior-facts=1 | | mean | 273.397 | | σ | 0.006 | | min | 273.388 | | max | 273.403 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 0.381 | | σ | 0.007 | | min | 0.377 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.838 | | σ | 0.010 | | min | 1933.831 | | max | 1933.855 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 2.997 | | σ | 0.040 | | min | 2.948 | | max | 3.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.267 | | σ | 0.989 | | min | 4753.338 | | max | 4755.941 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 8.326 | | σ | 0.594 | | min | 7.822 | | max | 9.217 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.505 | | σ | 0.348 | | min | 4943.988 | | max | 4944.879 |
| | mean | 3084.000 | | σ | 304.428 | | min | 2854.000 | | max | 3556.000 |
| | mean | 8.417 | | σ | 0.087 | | min | 8.316 | | max | 8.547 |
|