iters=5 new-facts=1 prior-facts=1 | | mean | 270.142-270.143=-0.001 | | σ | 0.006-0.004=0.002 | | min | 270.136-270.136=-0.001 | | max | 270.151-270.149=0.002 |
| | mean | 2824.000-2847.000=-23.000 | | σ | 0.000 | | min | 2824.000-2847.000=-23.000 | | max | 2824.000-2847.000=-23.000 |
| | mean | 0.377-0.376=0.001 | | σ | 0.005-0.003=0.002 | | min | 0.369-0.370=-0.001 | | max | 0.384-0.378=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.612-1930.608=0.005 | | σ | 0.004-0.011=-0.007 | | min | 1930.608-1930.596=0.012 | | max | 1930.617-1930.623=-0.006 |
| | mean | 2824.000-2847.000=-23.000 | | σ | 0.000 | | min | 2824.000-2847.000=-23.000 | | max | 2824.000-2847.000=-23.000 |
| | mean | 2.537-2.513=0.024 | | σ | 0.131-0.061=0.071 | | min | 2.443-2.441=0.001 | | max | 2.760-2.584=0.176 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.303-4751.338=-0.035 | | σ | 0.934-0.893=0.041 | | min | 4750.795-4750.769=0.026 | | max | 4752.962-4752.920=0.042 |
| | mean | 2824.000-2847.000=-23.000 | | σ | 0.000 | | min | 2824.000-2847.000=-23.000 | | max | 2824.000-2847.000=-23.000 |
| | mean | 8.667-8.797=-0.130 | | σ | 0.470-0.529=-0.059 | | min | 8.066-8.098=-0.032 | | max | 9.142-9.361=-0.219 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.699-4941.700=-0.002 | | σ | 0.161-0.166=-0.006 | | min | 4941.413-4941.405=0.008 | | max | 4941.792-4941.792=0.000 |
| | mean | 3048.400-3077.000=-28.600 | | σ | 234.385-231.353=3.032 | | min | 2824.000-2847.000=-23.000 | | max | 3291.000-3422.000=-131.000 |
| | mean | 8.728-8.582=0.147 | | σ | 0.282-0.228=0.054 | | min | 8.391-8.344=0.048 | | max | 9.122-8.865=0.257 |
|