iters=5 new-facts=1 prior-facts=1 | | mean | 190.720 | | σ | 0.015 | | min | 190.706 | | max | 190.741 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.278 | | σ | 0.000 | | min | 0.277 | | max | 0.279 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.498 | | σ | 0.016 | | min | 1989.479 | | max | 1989.510 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.604 | | σ | 0.106 | | min | 2.501 | | max | 2.770 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.180 | | σ | 0.577 | | min | 4879.883 | | max | 4881.209 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 8.040 | | σ | 0.099 | | min | 7.903 | | max | 8.147 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.784 | | σ | 0.009 | | min | 4891.775 | | max | 4891.798 |
| | mean | 3321.800 | | σ | 440.965 | | min | 2825.000 | | max | 3755.000 |
| | mean | 8.019 | | σ | 0.105 | | min | 7.941 | | max | 8.201 |
|