iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-277.716=-0.001 | | σ | 0.011-0.007=0.005 | | min | 277.700-277.709=-0.009 | | max | 277.727-277.726=0.001 |
| | mean | 2642.000-2653.000=-11.000 | | σ | 0.000 | | min | 2642.000-2653.000=-11.000 | | max | 2642.000-2653.000=-11.000 |
| | mean | 0.407-0.409=-0.003 | | σ | 0.001-0.001=-0.001 | | min | 0.406-0.408=-0.002 | | max | 0.408-0.411=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.889-2267.880=0.010 | | σ | 0.004-0.022=-0.018 | | min | 2267.883-2267.842=0.041 | | max | 2267.892-2267.894=-0.002 |
| | mean | 2642.000-2653.000=-11.000 | | σ | 0.000 | | min | 2642.000-2653.000=-11.000 | | max | 2642.000-2653.000=-11.000 |
| | mean | 2.890-3.109=-0.219 | | σ | 0.198-0.138=0.061 | | min | 2.677-2.910=-0.233 | | max | 3.193-3.252=-0.058 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.043-4955.046=-0.003 | | σ | 0.813-0.769=0.045 | | min | 4954.627-4954.571=0.057 | | max | 4956.496-4956.409=0.087 |
| | mean | 2642.000-2653.000=-11.000 | | σ | 0.000 | | min | 2642.000-2653.000=-11.000 | | max | 2642.000-2653.000=-11.000 |
| | mean | 8.007-7.871=0.136 | | σ | 0.267-0.103=0.164 | | min | 7.808-7.752=0.056 | | max | 8.462-8.019=0.443 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.720-5169.759=-0.039 | | σ | 0.137-0.089=0.048 | | min | 5169.516-5169.691=-0.175 | | max | 5169.848-5169.860=-0.013 |
| | mean | 3434.600-3357.400=77.200 | | σ | 467.157-417.110=50.047 | | min | 2809.000-2955.000=-146.000 | | max | 4026.000-3787.000=239.000 |
| | mean | 9.207-9.396=-0.189 | | σ | 0.200-0.188=0.012 | | min | 8.939-9.203=-0.264 | | max | 9.498-9.710=-0.212 |
|