iters=5 new-facts=1 prior-facts=1 | | mean | 272.019-272.019=0.000 | | σ | 0.007-0.007=0.001 | | min | 272.009-272.015=-0.006 | | max | 272.027-272.030=-0.003 |
| | mean | 2876.000-2846.000=30.000 | | σ | 0.000 | | min | 2876.000-2846.000=30.000 | | max | 2876.000-2846.000=30.000 |
| | mean | 0.397-0.392=0.006 | | σ | 0.016-0.006=0.010 | | min | 0.382-0.381=0.000 | | max | 0.419-0.395=0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.434-1932.439=-0.005 | | σ | 0.011-0.005=0.006 | | min | 1932.421-1932.432=-0.011 | | max | 1932.443-1932.444=-0.001 |
| | mean | 2876.000-2846.000=30.000 | | σ | 0.000 | | min | 2876.000-2846.000=30.000 | | max | 2876.000-2846.000=30.000 |
| | mean | 2.941-3.064=-0.122 | | σ | 0.136-0.143=-0.007 | | min | 2.747-2.952=-0.205 | | max | 3.120-3.307=-0.187 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.174-4753.083=0.091 | | σ | 0.900-0.963=-0.063 | | min | 4752.713-4752.317=0.396 | | max | 4754.777-4754.757=0.021 |
| | mean | 2876.000-2846.000=30.000 | | σ | 0.000 | | min | 2876.000-2846.000=30.000 | | max | 2876.000-2846.000=30.000 |
| | mean | 8.468-8.430=0.038 | | σ | 0.554-0.542=0.012 | | min | 7.579-7.945=-0.366 | | max | 8.914-9.098=-0.184 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.625-4943.627=-0.002 | | σ | 0.028-0.015=0.013 | | min | 4943.591-4943.606=-0.014 | | max | 4943.659-4943.645=0.014 |
| | mean | 3033.200-3084.800=-51.600 | | σ | 180.951-313.063=-132.113 | | min | 2876.000-2846.000=30.000 | | max | 3318.000-3569.000=-251.000 |
| | mean | 8.529-8.432=0.097 | | σ | 0.080-0.126=-0.046 | | min | 8.391-8.355=0.036 | | max | 8.586-8.651=-0.065 |
|