iters=5 new-facts=1 prior-facts=1 | | mean | 301.475 | | σ | 0.057 | | min | 301.383 | | max | 301.531 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 0.390 | | σ | 0.001 | | min | 0.389 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.065 | | σ | 0.113 | | min | 1323.925 | | max | 1324.204 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 1.872 | | σ | 0.055 | | min | 1.815 | | max | 1.954 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.072 | | σ | 6.898 | | min | 1558.755 | | max | 1574.405 |
| | mean | 1517.000 | | σ | 0.000 | | min | 1517.000 | | max | 1517.000 |
| | mean | 2.262 | | σ | 0.185 | | min | 2.029 | | max | 2.503 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.970 | | σ | 0.066 | | min | 1891.854 | | max | 1892.009 |
| | mean | 1725.800 | | σ | 207.106 | | min | 1517.000 | | max | 2008.000 |
| | mean | 3.027 | | σ | 0.367 | | min | 2.816 | | max | 3.680 |
|