iters=5 new-facts=1 prior-facts=1 | | mean | 271.754-271.754=0.000 | | σ | 0.002-0.006=-0.004 | | min | 271.752-271.746=0.006 | | max | 271.758-271.761=-0.003 |
| | mean | 2854.000-2876.000=-22.000 | | σ | 0.000 | | min | 2854.000-2876.000=-22.000 | | max | 2854.000-2876.000=-22.000 |
| | mean | 0.383-0.380=0.003 | | σ | 0.007-0.004=0.003 | | min | 0.376-0.378=-0.002 | | max | 0.394-0.388=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.182-1932.172=0.010 | | σ | 0.007-0.013=-0.006 | | min | 1932.175-1932.154=0.021 | | max | 1932.191-1932.185=0.006 |
| | mean | 2854.000-2876.000=-22.000 | | σ | 0.000 | | min | 2854.000-2876.000=-22.000 | | max | 2854.000-2876.000=-22.000 |
| | mean | 2.942-3.023=-0.081 | | σ | 0.152-0.070=0.082 | | min | 2.786-2.929=-0.143 | | max | 3.147-3.099=0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.875-4752.890=-0.015 | | σ | 0.890-0.911=-0.022 | | min | 4752.107-4752.415=-0.308 | | max | 4754.415-4754.517=-0.102 |
| | mean | 2854.000-2876.000=-22.000 | | σ | 0.000 | | min | 2854.000-2876.000=-22.000 | | max | 2854.000-2876.000=-22.000 |
| | mean | 7.935-8.822=-0.887 | | σ | 0.310-0.229=0.082 | | min | 7.710-8.477=-0.767 | | max | 8.481-9.073=-0.592 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.157-4943.376=-0.219 | | σ | 0.324-0.013=0.311 | | min | 4942.638-4943.359=-0.721 | | max | 4943.390-4943.389=0.001 |
| | mean | 3073.000-3027.800=45.200 | | σ | 295.946-176.307=119.639 | | min | 2854.000-2876.000=-22.000 | | max | 3532.000-3307.000=225.000 |
| | mean | 8.426-8.520=-0.094 | | σ | 0.087-0.107=-0.020 | | min | 8.345-8.376=-0.031 | | max | 8.565-8.632=-0.067 |
|