iters=5 new-facts=1 prior-facts=1 | | mean | 297.586 | | σ | 0.008 | | min | 297.575 | | max | 297.598 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 0.392 | | σ | 0.009 | | min | 0.385 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1320.546 | | σ | 0.076 | | min | 1320.417 | | max | 1320.601 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 1.955 | | σ | 0.098 | | min | 1.875 | | max | 2.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1740.706 | | σ | 6.935 | | min | 1737.507 | | max | 1753.108 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 3.180 | | σ | 0.185 | | min | 3.028 | | max | 3.494 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2003.482 | | σ | 0.013 | | min | 2003.469 | | max | 2003.499 |
| | mean | 1837.800 | | σ | 211.508 | | min | 1565.000 | | max | 2109.000 |
| | mean | 3.252 | | σ | 0.077 | | min | 3.149 | | max | 3.346 |
|