iters=5 new-facts=1 prior-facts=1 | | mean | 271.598-271.601=-0.003 | | σ | 0.008-0.007=0.001 | | min | 271.586-271.592=-0.007 | | max | 271.607-271.613=-0.006 |
| | mean | 2724.000-2454.000=270.000 | | σ | 0.000 | | min | 2724.000-2454.000=270.000 | | max | 2724.000-2454.000=270.000 |
| | mean | 0.384-0.386=-0.002 | | σ | 0.005-0.008=-0.003 | | min | 0.379-0.380=-0.001 | | max | 0.390-0.399=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.002-1932.002=-0.000 | | σ | 0.009-0.010=-0.001 | | min | 1931.987-1931.988=-0.001 | | max | 1932.010-1932.012=-0.002 |
| | mean | 2724.000-2454.000=270.000 | | σ | 0.000 | | min | 2724.000-2454.000=270.000 | | max | 2724.000-2454.000=270.000 |
| | mean | 2.554-2.535=0.019 | | σ | 0.087-0.153=-0.066 | | min | 2.493-2.384=0.108 | | max | 2.688-2.777=-0.089 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.621-4752.711=-0.090 | | σ | 1.029-0.886=0.143 | | min | 4751.698-4752.220=-0.523 | | max | 4754.382-4754.291=0.091 |
| | mean | 2724.000-2454.000=270.000 | | σ | 0.000 | | min | 2724.000-2454.000=270.000 | | max | 2724.000-2454.000=270.000 |
| | mean | 8.654-8.699=-0.045 | | σ | 0.571-0.317=0.254 | | min | 7.698-8.343=-0.645 | | max | 9.100-9.196=-0.096 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.206-4943.138=0.068 | | σ | 0.023-0.149=-0.126 | | min | 4943.173-4942.873=0.300 | | max | 4943.233-4943.219=0.014 |
| | mean | 3034.200-3021.000=13.200 | | σ | 279.871-261.648=18.223 | | min | 2724.000-2626.000=98.000 | | max | 3415.000-3319.000=96.000 |
| | mean | 8.621-8.585=0.035 | | σ | 0.194-0.194=-0.000 | | min | 8.399-8.345=0.055 | | max | 8.902-8.797=0.105 |
|