iters=5 new-facts=1 prior-facts=1 | | mean | 278.695-278.692=0.003 | | σ | 0.011-0.014=-0.004 | | min | 278.685-278.678=0.007 | | max | 278.712-278.715=-0.003 |
| | mean | 2643.000-2588.000=55.000 | | σ | 0.000 | | min | 2643.000-2588.000=55.000 | | max | 2643.000-2588.000=55.000 |
| | mean | 0.420-0.427=-0.007 | | σ | 0.001-0.012=-0.011 | | min | 0.418-0.417=0.001 | | max | 0.421-0.441=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.861-2268.867=-0.006 | | σ | 0.006-0.002=0.003 | | min | 2268.852-2268.864=-0.012 | | max | 2268.866-2268.870=-0.004 |
| | mean | 2643.000-2588.000=55.000 | | σ | 0.000 | | min | 2643.000-2588.000=55.000 | | max | 2643.000-2588.000=55.000 |
| | mean | 2.965-2.950=0.015 | | σ | 0.127-0.080=0.047 | | min | 2.877-2.885=-0.008 | | max | 3.187-3.089=0.097 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.355-4952.343=0.013 | | σ | 0.780-0.884=-0.104 | | min | 4951.967-4951.850=0.118 | | max | 4953.749-4953.920=-0.171 |
| | mean | 2643.000-2588.000=55.000 | | σ | 0.000 | | min | 2643.000-2588.000=55.000 | | max | 2643.000-2588.000=55.000 |
| | mean | 7.881-8.049=-0.168 | | σ | 0.153-0.327=-0.174 | | min | 7.714-7.719=-0.005 | | max | 8.113-8.542=-0.429 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.067-5167.071=-0.005 | | σ | 0.011-0.014=-0.003 | | min | 5167.051-5167.060=-0.009 | | max | 5167.082-5167.094=-0.013 |
| | mean | 3417.400-3412.200=5.200 | | σ | 472.476-466.687=5.789 | | min | 2755.000-2757.000=-2.000 | | max | 3996.000-3983.000=13.000 |
| | mean | 9.287-9.480=-0.194 | | σ | 0.350-0.266=0.084 | | min | 8.866-9.038=-0.172 | | max | 9.589-9.740=-0.151 |
|