iters=5 new-facts=1 prior-facts=1 | | mean | 313.194 | | σ | 17.568 | | min | 281.767 | | max | 321.075 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.411 | | σ | 0.026 | | min | 0.365 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.613 | | σ | 0.015 | | min | 1981.589 | | max | 1981.625 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.616 | | σ | 0.070 | | min | 2.551 | | max | 2.715 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.304 | | σ | 7.673 | | min | 4801.705 | | max | 4819.029 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 9.050 | | σ | 0.707 | | min | 8.367 | | max | 10.153 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.829 | | σ | 0.019 | | min | 4992.811 | | max | 4992.857 |
| | mean | 3062.200 | | σ | 249.578 | | min | 2825.000 | | max | 3423.000 |
| | mean | 8.730 | | σ | 0.290 | | min | 8.436 | | max | 9.076 |
|