iters=5 new-facts=1 prior-facts=1 | | mean | 277.196 | | σ | 0.004 | | min | 277.193 | | max | 277.201 |
| | mean | 2630.000 | | σ | 0.000 | | min | 2630.000 | | max | 2630.000 |
| | mean | 0.395 | | σ | 0.001 | | min | 0.393 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.424 | | σ | 0.021 | | min | 2174.400 | | max | 2174.449 |
| | mean | 2630.000 | | σ | 0.000 | | min | 2630.000 | | max | 2630.000 |
| | mean | 3.011 | | σ | 0.331 | | min | 2.804 | | max | 3.579 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.605 | | σ | 0.977 | | min | 5052.031 | | max | 5054.343 |
| | mean | 2630.000 | | σ | 0.000 | | min | 2630.000 | | max | 2630.000 |
| | mean | 9.031 | | σ | 0.438 | | min | 8.497 | | max | 9.514 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.398 | | σ | 0.126 | | min | 5188.221 | | max | 5188.524 |
| | mean | 3215.600 | | σ | 499.782 | | min | 2630.000 | | max | 3891.000 |
| | mean | 8.754 | | σ | 0.167 | | min | 8.616 | | max | 9.045 |
|