iters=5 new-facts=1 prior-facts=1 | | mean | 324.014 | | σ | 0.061 | | min | 323.906 | | max | 324.047 |
| | mean | 2431.000 | | σ | 0.000 | | min | 2431.000 | | max | 2431.000 |
| | mean | 0.432 | | σ | 0.005 | | min | 0.427 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.589 | | σ | 0.020 | | min | 1984.555 | | max | 1984.606 |
| | mean | 2431.000 | | σ | 0.000 | | min | 2431.000 | | max | 2431.000 |
| | mean | 2.653 | | σ | 0.178 | | min | 2.488 | | max | 2.938 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.229 | | σ | 7.837 | | min | 4804.680 | | max | 4822.248 |
| | mean | 2431.000 | | σ | 0.000 | | min | 2431.000 | | max | 2431.000 |
| | mean | 8.904 | | σ | 0.269 | | min | 8.644 | | max | 9.216 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.804 | | σ | 0.022 | | min | 4995.780 | | max | 4995.832 |
| | mean | 2966.400 | | σ | 256.778 | | min | 2639.000 | | max | 3310.000 |
| | mean | 8.578 | | σ | 0.067 | | min | 8.469 | | max | 8.645 |
|