iters=5 new-facts=1 prior-facts=1 | | mean | 324.011 | | σ | 0.047 | | min | 323.927 | | max | 324.040 |
| | mean | 2520.000 | | σ | 0.000 | | min | 2520.000 | | max | 2520.000 |
| | mean | 0.425 | | σ | 0.004 | | min | 0.423 | | max | 0.432 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.589 | | σ | 0.019 | | min | 1984.557 | | max | 1984.605 |
| | mean | 2520.000 | | σ | 0.000 | | min | 2520.000 | | max | 2520.000 |
| | mean | 2.676 | | σ | 0.170 | | min | 2.541 | | max | 2.895 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.228 | | σ | 7.742 | | min | 4804.653 | | max | 4822.077 |
| | mean | 2520.000 | | σ | 0.000 | | min | 2520.000 | | max | 2520.000 |
| | mean | 8.904 | | σ | 0.201 | | min | 8.620 | | max | 9.164 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.795 | | σ | 0.019 | | min | 4995.771 | | max | 4995.819 |
| | mean | 2948.000 | | σ | 267.398 | | min | 2588.000 | | max | 3288.000 |
| | mean | 8.545 | | σ | 0.057 | | min | 8.459 | | max | 8.614 |
|