iters=5 new-facts=1 prior-facts=1 | | mean | 325.321-325.316=0.005 | | σ | 0.042-0.055=-0.013 | | min | 325.247-325.218=0.029 | | max | 325.350-325.346=0.003 |
| | mean | 2828.000-2740.000=88.000 | | σ | 0.000 | | min | 2828.000-2740.000=88.000 | | max | 2828.000-2740.000=88.000 |
| | mean | 0.431-0.430=0.001 | | σ | 0.005-0.006=-0.002 | | min | 0.427-0.425=0.002 | | max | 0.438-0.439=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.873-1985.875=-0.002 | | σ | 0.013-0.007=0.007 | | min | 1985.851-1985.863=-0.012 | | max | 1985.887-1985.881=0.007 |
| | mean | 2828.000-2740.000=88.000 | | σ | 0.000 | | min | 2828.000-2740.000=88.000 | | max | 2828.000-2740.000=88.000 |
| | mean | 2.704-2.817=-0.114 | | σ | 0.101-0.284=-0.183 | | min | 2.591-2.585=0.006 | | max | 2.815-3.290=-0.475 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.666-4809.646=0.020 | | σ | 7.719-7.751=-0.032 | | min | 4806.134-4806.143=-0.009 | | max | 4823.474-4823.512=-0.038 |
| | mean | 2828.000-2740.000=88.000 | | σ | 0.000 | | min | 2828.000-2740.000=88.000 | | max | 2828.000-2740.000=88.000 |
| | mean | 9.126-8.690=0.435 | | σ | 0.239-0.637=-0.398 | | min | 8.874-7.811=1.063 | | max | 9.421-9.461=-0.039 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.027-4997.106=-0.079 | | σ | 0.323-0.147=0.176 | | min | 4996.455-4996.845=-0.390 | | max | 4997.206-4997.192=0.014 |
| | mean | 3014.800-3006.000=8.800 | | σ | 259.382-324.517=-65.135 | | min | 2828.000-2740.000=88.000 | | max | 3424.000-3497.000=-73.000 |
| | mean | 8.561-8.581=-0.020 | | σ | 0.083-0.086=-0.003 | | min | 8.475-8.507=-0.032 | | max | 8.696-8.698=-0.002 |
|