iters=5 new-facts=1 prior-facts=1 | | mean | 271.755-271.753=0.002 | | σ | 0.005-0.005=-0.000 | | min | 271.750-271.745=0.005 | | max | 271.762-271.756=0.006 |
| | mean | 2808.000-2814.000=-6.000 | | σ | 0.000 | | min | 2808.000-2814.000=-6.000 | | max | 2808.000-2814.000=-6.000 |
| | mean | 0.381-0.381=0.000 | | σ | 0.004-0.005=-0.002 | | min | 0.378-0.378=-0.001 | | max | 0.387-0.391=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.186-1932.181=0.005 | | σ | 0.009-0.015=-0.006 | | min | 1932.177-1932.167=0.010 | | max | 1932.201-1932.206=-0.005 |
| | mean | 2808.000-2814.000=-6.000 | | σ | 0.000 | | min | 2808.000-2814.000=-6.000 | | max | 2808.000-2814.000=-6.000 |
| | mean | 2.932-2.923=0.009 | | σ | 0.133-0.124=0.009 | | min | 2.725-2.753=-0.028 | | max | 3.084-3.058=0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.909-4752.904=0.005 | | σ | 0.951-0.906=0.045 | | min | 4752.393-4752.393=0.001 | | max | 4754.599-4754.517=0.082 |
| | mean | 2808.000-2814.000=-6.000 | | σ | 0.000 | | min | 2808.000-2814.000=-6.000 | | max | 2808.000-2814.000=-6.000 |
| | mean | 8.669-8.643=0.026 | | σ | 0.525-0.332=0.193 | | min | 8.014-8.192=-0.178 | | max | 9.252-8.998=0.254 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.378-4943.156=0.222 | | σ | 0.015-0.314=-0.299 | | min | 4943.362-4942.651=0.710 | | max | 4943.395-4943.378=0.016 |
| | mean | 3007.200-3032.400=-25.200 | | σ | 204.051-223.237=-19.186 | | min | 2808.000-2814.000=-6.000 | | max | 3312.000-3342.000=-30.000 |
| | mean | 8.540-8.596=-0.057 | | σ | 0.101-0.200=-0.099 | | min | 8.427-8.417=0.010 | | max | 8.647-8.915=-0.268 |
|