iters=5 new-facts=1 prior-facts=1 | | mean | 286.825-286.818=0.007 | | σ | 0.037-0.039=-0.001 | | min | 286.784-286.767=0.017 | | max | 286.866-286.858=0.008 |
| | mean | 1653.000-1618.000=35.000 | | σ | 0.000 | | min | 1653.000-1618.000=35.000 | | max | 1653.000-1618.000=35.000 |
| | mean | 0.397-0.396=0.001 | | σ | 0.007-0.005=0.001 | | min | 0.389-0.388=0.001 | | max | 0.404-0.400=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.186-1297.211=-0.025 | | σ | 0.130-0.121=0.009 | | min | 1297.094-1297.088=0.006 | | max | 1297.404-1297.363=0.041 |
| | mean | 1653.000-1618.000=35.000 | | σ | 0.000 | | min | 1653.000-1618.000=35.000 | | max | 1653.000-1618.000=35.000 |
| | mean | 1.917-1.879=0.038 | | σ | 0.185-0.094=0.091 | | min | 1.808-1.804=0.003 | | max | 2.238-2.017=0.222 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.370-1541.335=0.035 | | σ | 6.790-6.843=-0.053 | | min | 1538.173-1538.054=0.120 | | max | 1553.513-1553.573=-0.059 |
| | mean | 1653.000-1618.000=35.000 | | σ | 0.000 | | min | 1653.000-1618.000=35.000 | | max | 1653.000-1618.000=35.000 |
| | mean | 2.338-2.230=0.108 | | σ | 0.185-0.156=0.030 | | min | 2.133-2.119=0.014 | | max | 2.615-2.489=0.127 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.114-1859.123=-0.009 | | σ | 0.057-0.065=-0.009 | | min | 1859.039-1859.032=0.006 | | max | 1859.178-1859.199=-0.021 |
| | mean | 1773.000-1763.000=10.000 | | σ | 158.273-178.827=-20.553 | | min | 1653.000-1618.000=35.000 | | max | 2017.000-2032.000=-15.000 |
| | mean | 2.911-2.891=0.020 | | σ | 0.128-0.145=-0.018 | | min | 2.832-2.777=0.055 | | max | 3.138-3.143=-0.005 |
|