iters=5 new-facts=1 prior-facts=1 | | mean | 271.278-271.290=-0.012 | | σ | 0.011-0.004=0.006 | | min | 271.266-271.286=-0.021 | | max | 271.291-271.297=-0.006 |
| | mean | 2850.000-2767.000=83.000 | | σ | 0.000 | | min | 2850.000-2767.000=83.000 | | max | 2850.000-2767.000=83.000 |
| | mean | 0.387-0.384=0.003 | | σ | 0.012-0.006=0.006 | | min | 0.372-0.379=-0.007 | | max | 0.401-0.392=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.718-1931.710=0.008 | | σ | 0.007-0.010=-0.003 | | min | 1931.709-1931.694=0.016 | | max | 1931.725-1931.720=0.006 |
| | mean | 2850.000-2767.000=83.000 | | σ | 0.000 | | min | 2850.000-2767.000=83.000 | | max | 2850.000-2767.000=83.000 |
| | mean | 3.030-3.047=-0.017 | | σ | 0.220-0.122=0.098 | | min | 2.806-2.906=-0.100 | | max | 3.372-3.214=0.158 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.478-4752.471=0.008 | | σ | 0.909-0.858=0.051 | | min | 4751.908-4751.997=-0.089 | | max | 4754.075-4753.999=0.075 |
| | mean | 2850.000-2767.000=83.000 | | σ | 0.000 | | min | 2850.000-2767.000=83.000 | | max | 2850.000-2767.000=83.000 |
| | mean | 8.506-8.364=0.142 | | σ | 0.632-0.394=0.238 | | min | 7.812-7.795=0.017 | | max | 9.185-8.835=0.350 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.850-4942.772=0.078 | | σ | 0.147-0.188=-0.041 | | min | 4942.590-4942.555=0.034 | | max | 4942.935-4942.914=0.021 |
| | mean | 3063.800-3037.600=26.200 | | σ | 265.251-210.007=55.245 | | min | 2850.000-2767.000=83.000 | | max | 3458.000-3321.000=137.000 |
| | mean | 8.645-8.535=0.110 | | σ | 0.151-0.165=-0.014 | | min | 8.484-8.372=0.112 | | max | 8.804-8.715=0.089 |
|