iters=5 new-facts=1 prior-facts=1 | | mean | 324.705 | | σ | 0.057 | | min | 324.605 | | max | 324.739 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.429 | | σ | 0.011 | | min | 0.420 | | max | 0.447 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267 | | σ | 0.011 | | min | 1985.250 | | max | 1985.279 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 2.602 | | σ | 0.099 | | min | 2.522 | | max | 2.771 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.886 | | σ | 7.712 | | min | 4805.413 | | max | 4822.681 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 9.099 | | σ | 0.172 | | min | 8.919 | | max | 9.292 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.389 | | σ | 0.159 | | min | 4996.107 | | max | 4996.481 |
| | mean | 3071.600 | | σ | 297.107 | | min | 2849.000 | | max | 3529.000 |
| | mean | 8.497 | | σ | 0.093 | | min | 8.406 | | max | 8.650 |
|