iters=5 new-facts=1 prior-facts=1 | | mean | 190.714-190.717=-0.003 | | σ | 0.008-0.005=0.002 | | min | 190.704-190.713=-0.009 | | max | 190.723-190.723=-0.000 |
| | mean | 2648.000-2687.000=-39.000 | | σ | 0.000 | | min | 2648.000-2687.000=-39.000 | | max | 2648.000-2687.000=-39.000 |
| | mean | 0.281-0.279=0.002 | | σ | 0.001-0.002=-0.001 | | min | 0.280-0.277=0.003 | | max | 0.282-0.282=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.491-1989.503=-0.013 | | σ | 0.019-0.013=0.006 | | min | 1989.464-1989.492=-0.028 | | max | 1989.507-1989.524=-0.017 |
| | mean | 2648.000-2687.000=-39.000 | | σ | 0.000 | | min | 2648.000-2687.000=-39.000 | | max | 2648.000-2687.000=-39.000 |
| | mean | 2.530-2.612=-0.083 | | σ | 0.181-0.187=-0.006 | | min | 2.338-2.397=-0.059 | | max | 2.777-2.804=-0.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.934-4880.161=-0.227 | | σ | 0.449-0.603=-0.155 | | min | 4879.372-4879.864=-0.492 | | max | 4880.629-4881.240=-0.611 |
| | mean | 2648.000-2687.000=-39.000 | | σ | 0.000 | | min | 2648.000-2687.000=-39.000 | | max | 2648.000-2687.000=-39.000 |
| | mean | 8.215-8.281=-0.066 | | σ | 0.069-0.152=-0.084 | | min | 8.130-8.102=0.027 | | max | 8.290-8.447=-0.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.790-4891.770=0.020 | | σ | 0.023-0.018=0.004 | | min | 4891.771-4891.758=0.013 | | max | 4891.825-4891.802=0.023 |
| | mean | 3309.600-3320.600=-11.000 | | σ | 453.011-493.896=-40.885 | | min | 2858.000-2687.000=171.000 | | max | 3764.000-3795.000=-31.000 |
| | mean | 8.201-8.129=0.072 | | σ | 0.182-0.120=0.061 | | min | 8.062-8.003=0.059 | | max | 8.471-8.299=0.172 |
|