iters=5 new-facts=1 prior-facts=1 | | mean | 325.320 | | σ | 0.047 | | min | 325.235 | | max | 325.346 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.423 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.869 | | σ | 0.019 | | min | 1985.841 | | max | 1985.891 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 2.755 | | σ | 0.127 | | min | 2.667 | | max | 2.961 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.652 | | σ | 7.688 | | min | 4806.121 | | max | 4823.403 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 8.544 | | σ | 0.492 | | min | 7.979 | | max | 8.921 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.107 | | σ | 0.169 | | min | 4996.808 | | max | 4997.211 |
| | mean | 3073.600 | | σ | 311.286 | | min | 2838.000 | | max | 3556.000 |
| | mean | 8.579 | | σ | 0.130 | | min | 8.489 | | max | 8.808 |
|