iters=5 new-facts=1 prior-facts=1 | | mean | 273.504-273.507=-0.003 | | σ | 0.008-0.007=0.001 | | min | 273.495-273.501=-0.006 | | max | 273.514-273.518=-0.004 |
| | mean | 2847.000-2856.000=-9.000 | | σ | 0.000 | | min | 2847.000-2856.000=-9.000 | | max | 2847.000-2856.000=-9.000 |
| | mean | 0.387-0.394=-0.007 | | σ | 0.004-0.005=-0.001 | | min | 0.384-0.387=-0.002 | | max | 0.394-0.399=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.902-1933.892=0.010 | | σ | 0.016-0.004=0.012 | | min | 1933.885-1933.885=-0.000 | | max | 1933.928-1933.896=0.032 |
| | mean | 2847.000-2856.000=-9.000 | | σ | 0.000 | | min | 2847.000-2856.000=-9.000 | | max | 2847.000-2856.000=-9.000 |
| | mean | 2.925-2.954=-0.029 | | σ | 0.267-0.076=0.191 | | min | 2.461-2.897=-0.436 | | max | 3.122-3.081=0.041 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.731-4754.494=0.237 | | σ | 0.781-1.010=-0.229 | | min | 4754.349-4753.687=0.662 | | max | 4756.126-4756.261=-0.135 |
| | mean | 2847.000-2856.000=-9.000 | | σ | 0.000 | | min | 2847.000-2856.000=-9.000 | | max | 2847.000-2856.000=-9.000 |
| | mean | 7.970-8.981=-1.011 | | σ | 0.299-0.111=0.189 | | min | 7.717-8.863=-1.146 | | max | 8.314-9.101=-0.787 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.043-4945.117=-0.074 | | σ | 0.159-0.016=0.143 | | min | 4944.758-4945.101=-0.343 | | max | 4945.124-4945.135=-0.011 |
| | mean | 3051.000-3031.800=19.200 | | σ | 275.778-187.393=88.385 | | min | 2847.000-2856.000=-9.000 | | max | 3469.000-3307.000=162.000 |
| | mean | 8.434-8.586=-0.152 | | σ | 0.089-0.226=-0.137 | | min | 8.365-8.355=0.009 | | max | 8.587-8.929=-0.342 |
|