iters=5 new-facts=1 prior-facts=1 | | mean | 271.951-273.502=-1.551 | | σ | 0.006-0.004=0.002 | | min | 271.944-273.498=-1.554 | | max | 271.958-273.507=-1.550 |
| | mean | 2458.000-2870.000=-412.000 | | σ | 0.000 | | min | 2458.000-2870.000=-412.000 | | max | 2458.000-2870.000=-412.000 |
| | mean | 0.380-0.378=0.002 | | σ | 0.002-0.006=-0.004 | | min | 0.378-0.375=0.003 | | max | 0.383-0.388=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.329-1933.899=-1.571 | | σ | 0.010-0.019=-0.009 | | min | 1932.319-1933.873=-1.554 | | max | 1932.342-1933.927=-1.585 |
| | mean | 2458.000-2870.000=-412.000 | | σ | 0.000 | | min | 2458.000-2870.000=-412.000 | | max | 2458.000-2870.000=-412.000 |
| | mean | 2.966-2.973=-0.008 | | σ | 0.138-0.300=-0.162 | | min | 2.727-2.463=0.264 | | max | 3.084-3.245=-0.161 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.948-4754.696=-1.748 | | σ | 0.995-0.890=0.105 | | min | 4752.153-4754.162=-2.009 | | max | 4754.685-4756.274=-1.589 |
| | mean | 2458.000-2870.000=-412.000 | | σ | 0.000 | | min | 2458.000-2870.000=-412.000 | | max | 2458.000-2870.000=-412.000 |
| | mean | 8.644-8.372=0.272 | | σ | 0.556-0.523=0.032 | | min | 7.772-7.843=-0.071 | | max | 9.240-9.080=0.159 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.489-4945.117=-1.628 | | σ | 0.152-0.017=0.135 | | min | 4943.218-4945.095=-1.877 | | max | 4943.577-4945.142=-1.566 |
| | mean | 2979.000-3064.000=-85.000 | | σ | 256.990-249.848=7.142 | | min | 2638.000-2870.000=-232.000 | | max | 3300.000-3436.000=-136.000 |
| | mean | 8.458-8.491=-0.033 | | σ | 0.096-0.110=-0.014 | | min | 8.311-8.410=-0.099 | | max | 8.552-8.679=-0.128 |
|