iters=5 new-facts=1 prior-facts=1 | | mean | 271.754-271.756=-0.002 | | σ | 0.004-0.006=-0.002 | | min | 271.749-271.749=0.000 | | max | 271.760-271.764=-0.004 |
| | mean | 2809.000-2712.000=97.000 | | σ | 0.000 | | min | 2809.000-2712.000=97.000 | | max | 2809.000-2712.000=97.000 |
| | mean | 0.383-0.381=0.001 | | σ | 0.005-0.005=0.000 | | min | 0.379-0.376=0.002 | | max | 0.392-0.389=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.176-1932.175=0.002 | | σ | 0.004-0.014=-0.009 | | min | 1932.172-1932.155=0.017 | | max | 1932.182-1932.192=-0.009 |
| | mean | 2809.000-2712.000=97.000 | | σ | 0.000 | | min | 2809.000-2712.000=97.000 | | max | 2809.000-2712.000=97.000 |
| | mean | 3.059-2.981=0.078 | | σ | 0.162-0.172=-0.010 | | min | 2.929-2.709=0.220 | | max | 3.336-3.165=0.171 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.942-4752.796=0.146 | | σ | 0.885-1.019=-0.134 | | min | 4752.413-4751.943=0.470 | | max | 4754.509-4754.556=-0.047 |
| | mean | 2809.000-2712.000=97.000 | | σ | 0.000 | | min | 2809.000-2712.000=97.000 | | max | 2809.000-2712.000=97.000 |
| | mean | 8.226-8.572=-0.346 | | σ | 0.666-0.587=0.079 | | min | 7.653-7.628=0.025 | | max | 8.980-9.168=-0.188 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.377-4943.301=0.076 | | σ | 0.024-0.155=-0.131 | | min | 4943.342-4943.024=0.318 | | max | 4943.401-4943.384=0.017 |
| | mean | 3043.200-2968.600=74.600 | | σ | 285.528-302.531=-17.003 | | min | 2809.000-2712.000=97.000 | | max | 3472.000-3417.000=55.000 |
| | mean | 8.437-8.454=-0.017 | | σ | 0.127-0.138=-0.011 | | min | 8.326-8.332=-0.006 | | max | 8.648-8.684=-0.036 |
|