iters=5 new-facts=1 prior-facts=1 | | mean | 324.014 | | σ | 0.055 | | min | 323.917 | | max | 324.047 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 0.427 | | σ | 0.005 | | min | 0.425 | | max | 0.437 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588 | | σ | 0.018 | | min | 1984.571 | | max | 1984.610 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 2.619 | | σ | 0.146 | | min | 2.474 | | max | 2.851 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.123 | | σ | 7.891 | | min | 4804.121 | | max | 4822.229 |
| | mean | 2435.000 | | σ | 0.000 | | min | 2435.000 | | max | 2435.000 |
| | mean | 8.923 | | σ | 0.200 | | min | 8.697 | | max | 9.146 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.728 | | σ | 0.148 | | min | 4995.466 | | max | 4995.823 |
| | mean | 3000.800 | | σ | 295.688 | | min | 2611.000 | | max | 3374.000 |
| | mean | 8.571 | | σ | 0.171 | | min | 8.405 | | max | 8.861 |
|