iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-277.719=-0.004 | | σ | 0.011-0.008=0.003 | | min | 277.700-277.708=-0.007 | | max | 277.727-277.729=-0.002 |
| | mean | 2642.000-2649.000=-7.000 | | σ | 0.000 | | min | 2642.000-2649.000=-7.000 | | max | 2642.000-2649.000=-7.000 |
| | mean | 0.407-0.407=-0.000 | | σ | 0.001-0.002=-0.001 | | min | 0.406-0.404=0.002 | | max | 0.408-0.408=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.889-2267.892=-0.002 | | σ | 0.004-0.012=-0.008 | | min | 2267.883-2267.881=0.002 | | max | 2267.892-2267.910=-0.018 |
| | mean | 2642.000-2649.000=-7.000 | | σ | 0.000 | | min | 2642.000-2649.000=-7.000 | | max | 2642.000-2649.000=-7.000 |
| | mean | 2.890-3.079=-0.189 | | σ | 0.198-0.229=-0.030 | | min | 2.677-2.739=-0.062 | | max | 3.193-3.333=-0.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.043-4954.921=0.122 | | σ | 0.813-0.927=-0.114 | | min | 4954.627-4954.069=0.559 | | max | 4956.496-4956.501=-0.005 |
| | mean | 2642.000-2649.000=-7.000 | | σ | 0.000 | | min | 2642.000-2649.000=-7.000 | | max | 2642.000-2649.000=-7.000 |
| | mean | 8.007-7.924=0.083 | | σ | 0.267-0.318=-0.051 | | min | 7.808-7.635=0.173 | | max | 8.462-8.389=0.074 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.720-5169.787=-0.067 | | σ | 0.137-0.086=0.051 | | min | 5169.516-5169.693=-0.177 | | max | 5169.848-5169.855=-0.007 |
| | mean | 3434.600-3374.000=60.600 | | σ | 467.157-518.675=-51.518 | | min | 2809.000-2909.000=-100.000 | | max | 4026.000-4117.000=-91.000 |
| | mean | 9.207-9.102=0.106 | | σ | 0.200-0.163=0.036 | | min | 8.939-8.870=0.068 | | max | 9.498-9.301=0.197 |
|