iters=5 new-facts=1 prior-facts=1 | | mean | 273.505 | | σ | 0.005 | | min | 273.500 | | max | 273.512 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 0.388 | | σ | 0.007 | | min | 0.381 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.893 | | σ | 0.013 | | min | 1933.879 | | max | 1933.906 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 2.988 | | σ | 0.144 | | min | 2.738 | | max | 3.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.739 | | σ | 0.807 | | min | 4754.302 | | max | 4756.181 |
| | mean | 2854.000 | | σ | 0.000 | | min | 2854.000 | | max | 2854.000 |
| | mean | 7.918 | | σ | 0.373 | | min | 7.652 | | max | 8.567 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4765.021 | | σ | 402.692 | | min | 4044.663 | | max | 4945.127 |
| | mean | 3037.600 | | σ | 267.201 | | min | 2854.000 | | max | 3466.000 |
| | mean | 8.327 | | σ | 0.641 | | min | 7.278 | | max | 8.936 |
|