iters=5 new-facts=1 prior-facts=1 | | mean | 325.324 | | σ | 0.040 | | min | 325.253 | | max | 325.345 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 0.424 | | σ | 0.005 | | min | 0.420 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.879 | | σ | 0.005 | | min | 1985.873 | | max | 1985.886 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 2.779 | | σ | 0.123 | | min | 2.662 | | max | 2.949 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4810.736 | | σ | 7.701 | | min | 4807.199 | | max | 4824.512 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 8.575 | | σ | 0.564 | | min | 7.678 | | max | 9.093 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4998.188 | | σ | 0.171 | | min | 4997.883 | | max | 4998.271 |
| | mean | 2997.800 | | σ | 277.245 | | min | 2650.000 | | max | 3366.000 |
| | mean | 8.671 | | σ | 0.190 | | min | 8.466 | | max | 8.929 |
|