iters=5 new-facts=1 prior-facts=1 | | mean | 324.762 | | σ | 0.055 | | min | 324.664 | | max | 324.794 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 0.427 | | σ | 0.008 | | min | 0.421 | | max | 0.440 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.326 | | σ | 0.006 | | min | 1985.318 | | max | 1985.334 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 2.599 | | σ | 0.066 | | min | 2.523 | | max | 2.673 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.983 | | σ | 7.512 | | min | 4805.557 | | max | 4822.421 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 9.061 | | σ | 0.424 | | min | 8.663 | | max | 9.753 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.558 | | σ | 0.167 | | min | 4996.262 | | max | 4996.653 |
| | mean | 3050.800 | | σ | 198.606 | | min | 2835.000 | | max | 3339.000 |
| | mean | 8.605 | | σ | 0.151 | | min | 8.443 | | max | 8.787 |
|