iters=5 new-facts=1 prior-facts=1 | | mean | 266.782-266.782=0.000 | | σ | 0.011-0.018=-0.007 | | min | 266.773-266.751=0.022 | | max | 266.798-266.798=-0.000 |
| | mean | 2860.000-2850.000=10.000 | | σ | 0.000 | | min | 2860.000-2850.000=10.000 | | max | 2860.000-2850.000=10.000 |
| | mean | 0.365-0.371=-0.006 | | σ | 0.002-0.009=-0.007 | | min | 0.364-0.361=0.003 | | max | 0.368-0.380=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.213-1927.220=-0.007 | | σ | 0.005-0.015=-0.011 | | min | 1927.205-1927.201=0.004 | | max | 1927.218-1927.239=-0.021 |
| | mean | 2860.000-2850.000=10.000 | | σ | 0.000 | | min | 2860.000-2850.000=10.000 | | max | 2860.000-2850.000=10.000 |
| | mean | 2.975-2.843=0.131 | | σ | 0.326-0.196=0.130 | | min | 2.454-2.617=-0.163 | | max | 3.328-3.076=0.252 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.638-4747.663=-0.025 | | σ | 0.907-0.851=0.056 | | min | 4746.769-4746.856=-0.087 | | max | 4749.181-4749.109=0.073 |
| | mean | 2860.000-2850.000=10.000 | | σ | 0.000 | | min | 2860.000-2850.000=10.000 | | max | 2860.000-2850.000=10.000 |
| | mean | 8.298-8.078=0.221 | | σ | 0.497-0.364=0.133 | | min | 7.681-7.675=0.006 | | max | 8.908-8.652=0.256 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.173-4938.165=0.008 | | σ | 0.086-0.088=-0.002 | | min | 4938.110-4938.089=0.021 | | max | 4938.272-4938.267=0.005 |
| | mean | 3047.800-3053.000=-5.200 | | σ | 194.495-256.679=-62.184 | | min | 2860.000-2850.000=10.000 | | max | 3323.000-3434.000=-111.000 |
| | mean | 8.726-8.418=0.308 | | σ | 0.423-0.119=0.304 | | min | 8.382-8.289=0.093 | | max | 9.451-8.586=0.864 |
|