iters=5 new-facts=1 prior-facts=1 | | mean | 271.599-271.600=-0.000 | | σ | 0.004-0.003=0.001 | | min | 271.593-271.596=-0.002 | | max | 271.603-271.604=-0.001 |
| | mean | 2759.000-2773.000=-14.000 | | σ | 0.000 | | min | 2759.000-2773.000=-14.000 | | max | 2759.000-2773.000=-14.000 |
| | mean | 0.387-0.385=0.002 | | σ | 0.005-0.004=0.001 | | min | 0.382-0.382=-0.000 | | max | 0.394-0.390=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.991-1931.983=0.008 | | σ | 0.018-0.025=-0.007 | | min | 1931.960-1931.950=0.011 | | max | 1932.003-1932.011=-0.008 |
| | mean | 2759.000-2773.000=-14.000 | | σ | 0.000 | | min | 2759.000-2773.000=-14.000 | | max | 2759.000-2773.000=-14.000 |
| | mean | 2.480-2.523=-0.043 | | σ | 0.106-0.105=0.001 | | min | 2.350-2.376=-0.026 | | max | 2.609-2.646=-0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.589-4752.593=-0.004 | | σ | 1.006-0.688=0.318 | | min | 4751.751-4752.242=-0.492 | | max | 4754.339-4753.822=0.517 |
| | mean | 2759.000-2773.000=-14.000 | | σ | 0.000 | | min | 2759.000-2773.000=-14.000 | | max | 2759.000-2773.000=-14.000 |
| | mean | 8.809-8.786=0.022 | | σ | 0.198-0.253=-0.056 | | min | 8.591-8.486=0.106 | | max | 9.039-9.029=0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.064-4943.135=-0.071 | | σ | 0.185-0.152=0.033 | | min | 4942.858-4942.864=-0.006 | | max | 4943.213-4943.216=-0.003 |
| | mean | 3019.600-3025.800=-6.200 | | σ | 232.175-231.467=0.708 | | min | 2759.000-2773.000=-14.000 | | max | 3322.000-3329.000=-7.000 |
| | mean | 8.683-8.544=0.140 | | σ | 0.237-0.141=0.096 | | min | 8.390-8.406=-0.016 | | max | 8.993-8.762=0.231 |
|