iters=5 new-facts=1 prior-facts=1 | | mean | 324.587 | | σ | 0.047 | | min | 324.503 | | max | 324.621 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.422 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.141 | | σ | 0.008 | | min | 1985.133 | | max | 1985.151 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 2.625 | | σ | 0.072 | | min | 2.568 | | max | 2.714 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.687 | | σ | 7.682 | | min | 4804.663 | | max | 4822.414 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 8.716 | | σ | 0.761 | | min | 7.489 | | max | 9.453 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.276 | | σ | 0.147 | | min | 4996.015 | | max | 4996.365 |
| | mean | 3026.000 | | σ | 203.470 | | min | 2826.000 | | max | 3306.000 |
| | mean | 8.667 | | σ | 0.234 | | min | 8.433 | | max | 9.029 |
|