iters=5 new-facts=1 prior-facts=1 | | mean | 279.543-279.558=-0.015 | | σ | 0.008-0.008=-0.000 | | min | 279.534-279.550=-0.016 | | max | 279.549-279.568=-0.019 |
| | mean | 2825.000-2746.000=79.000 | | σ | 0.000 | | min | 2825.000-2746.000=79.000 | | max | 2825.000-2746.000=79.000 |
| | mean | 0.409-0.415=-0.006 | | σ | 0.007-0.008=-0.000 | | min | 0.404-0.407=-0.003 | | max | 0.422-0.424=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.468-2178.496=-0.028 | | σ | 0.007-0.014=-0.006 | | min | 2178.459-2178.482=-0.024 | | max | 2178.476-2178.516=-0.040 |
| | mean | 2825.000-2746.000=79.000 | | σ | 0.000 | | min | 2825.000-2746.000=79.000 | | max | 2825.000-2746.000=79.000 |
| | mean | 3.176-3.406=-0.230 | | σ | 0.249-0.097=0.152 | | min | 2.802-3.262=-0.460 | | max | 3.488-3.536=-0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.418-5056.427=-0.009 | | σ | 1.026-1.021=0.005 | | min | 5055.803-5055.827=-0.024 | | max | 5058.238-5058.237=0.001 |
| | mean | 2825.000-2746.000=79.000 | | σ | 0.000 | | min | 2825.000-2746.000=79.000 | | max | 2825.000-2746.000=79.000 |
| | mean | 9.054-9.234=-0.180 | | σ | 0.866-0.493=0.373 | | min | 7.880-8.555=-0.675 | | max | 10.186-9.836=0.350 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.786-5193.666=0.120 | | σ | 0.087-0.101=-0.014 | | min | 5193.710-5193.553=0.158 | | max | 5193.892-5193.741=0.150 |
| | mean | 3222.000-3292.600=-70.600 | | σ | 358.976-400.553=-41.577 | | min | 2834.000-2746.000=88.000 | | max | 3764.000-3666.000=98.000 |
| | mean | 8.914-8.932=-0.018 | | σ | 0.390-0.295=0.094 | | min | 8.639-8.670=-0.031 | | max | 9.583-9.414=0.169 |
|