iters=5 new-facts=1 prior-facts=1 | | mean | 272.017-271.753=0.264 | | σ | 0.008-0.005=0.004 | | min | 272.009-271.747=0.261 | | max | 272.030-271.760=0.270 |
| | mean | 2876.000-2766.000=110.000 | | σ | 0.000 | | min | 2876.000-2766.000=110.000 | | max | 2876.000-2766.000=110.000 |
| | mean | 0.391-0.378=0.013 | | σ | 0.009-0.002=0.007 | | min | 0.379-0.375=0.004 | | max | 0.402-0.381=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.439-1932.179=0.261 | | σ | 0.011-0.011=-0.000 | | min | 1932.421-1932.165=0.256 | | max | 1932.450-1932.196=0.254 |
| | mean | 2876.000-2766.000=110.000 | | σ | 0.000 | | min | 2876.000-2766.000=110.000 | | max | 2876.000-2766.000=110.000 |
| | mean | 2.944-2.982=-0.038 | | σ | 0.140-0.186=-0.046 | | min | 2.796-2.764=0.032 | | max | 3.121-3.266=-0.145 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.192-4752.913=0.279 | | σ | 0.804-0.849=-0.045 | | min | 4752.749-4752.414=0.335 | | max | 4754.626-4754.421=0.205 |
| | mean | 2876.000-2766.000=110.000 | | σ | 0.000 | | min | 2876.000-2766.000=110.000 | | max | 2876.000-2766.000=110.000 |
| | mean | 8.375-8.441=-0.066 | | σ | 0.412-0.518=-0.107 | | min | 7.716-7.610=0.105 | | max | 8.728-8.947=-0.219 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.565-4943.381=0.184 | | σ | 0.167-0.015=0.153 | | min | 4943.267-4943.361=-0.094 | | max | 4943.659-4943.396=0.262 |
| | mean | 3055.000-3046.600=8.400 | | σ | 188.258-242.591=-54.333 | | min | 2876.000-2766.000=110.000 | | max | 3327.000-3395.000=-68.000 |
| | mean | 8.791-8.807=-0.016 | | σ | 0.382-0.254=0.128 | | min | 8.452-8.468=-0.016 | | max | 9.367-9.181=0.186 |
|