iters=5 new-facts=1 prior-facts=1 | | mean | 324.015 | | σ | 0.051 | | min | 323.925 | | max | 324.050 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 0.431 | | σ | 0.006 | | min | 0.425 | | max | 0.440 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.594 | | σ | 0.012 | | min | 1984.574 | | max | 1984.603 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 2.611 | | σ | 0.077 | | min | 2.557 | | max | 2.745 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.243 | | σ | 7.777 | | min | 4804.716 | | max | 4822.154 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 8.893 | | σ | 0.256 | | min | 8.533 | | max | 9.117 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.814 | | σ | 0.020 | | min | 4995.794 | | max | 4995.835 |
| | mean | 3078.600 | | σ | 309.364 | | min | 2854.000 | | max | 3561.000 |
| | mean | 8.610 | | σ | 0.158 | | min | 8.397 | | max | 8.741 |
|