iters=5 new-facts=1 prior-facts=1 | | mean | 279.510 | | σ | 0.007 | | min | 279.499 | | max | 279.516 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 0.410 | | σ | 0.007 | | min | 0.401 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.442 | | σ | 0.012 | | min | 2178.422 | | max | 2178.453 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 3.318 | | σ | 0.258 | | min | 2.998 | | max | 3.718 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.382 | | σ | 0.932 | | min | 5055.880 | | max | 5058.045 |
| | mean | 2743.000 | | σ | 0.000 | | min | 2743.000 | | max | 2743.000 |
| | mean | 8.481 | | σ | 0.392 | | min | 8.043 | | max | 9.021 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.660 | | σ | 0.134 | | min | 5193.490 | | max | 5193.848 |
| | mean | 3232.600 | | σ | 482.256 | | min | 2743.000 | | max | 3923.000 |
| | mean | 8.784 | | σ | 0.175 | | min | 8.635 | | max | 9.028 |
|