iters=5 new-facts=1 prior-facts=1 | | mean | 272.100-271.755=0.345 | | σ | 0.005-0.004=0.001 | | min | 272.093-271.747=0.346 | | max | 272.106-271.758=0.348 |
| | mean | 2826.000-2813.000=13.000 | | σ | 0.000 | | min | 2826.000-2813.000=13.000 | | max | 2826.000-2813.000=13.000 |
| | mean | 0.394-0.380=0.014 | | σ | 0.017-0.004=0.013 | | min | 0.374-0.377=-0.004 | | max | 0.418-0.387=0.030 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.522-1932.174=0.348 | | σ | 0.009-0.013=-0.004 | | min | 1932.511-1932.154=0.357 | | max | 1932.531-1932.189=0.342 |
| | mean | 2826.000-2813.000=13.000 | | σ | 0.000 | | min | 2826.000-2813.000=13.000 | | max | 2826.000-2813.000=13.000 |
| | mean | 3.058-3.016=0.042 | | σ | 0.164-0.042=0.122 | | min | 2.924-2.968=-0.045 | | max | 3.341-3.073=0.268 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.313-4752.873=0.439 | | σ | 0.831-0.922=-0.092 | | min | 4752.865-4752.415=0.450 | | max | 4754.796-4754.521=0.275 |
| | mean | 2826.000-2813.000=13.000 | | σ | 0.000 | | min | 2826.000-2813.000=13.000 | | max | 2826.000-2813.000=13.000 |
| | mean | 8.164-8.811=-0.647 | | σ | 0.382-0.217=0.165 | | min | 7.872-8.519=-0.646 | | max | 8.620-9.029=-0.409 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.714-4943.373=0.341 | | σ | 0.014-0.020=-0.006 | | min | 4943.696-4943.349=0.347 | | max | 4943.734-4943.393=0.341 |
| | mean | 3040.200-3017.000=23.200 | | σ | 262.067-284.242=-22.175 | | min | 2826.000-2813.000=13.000 | | max | 3423.000-3471.000=-48.000 |
| | mean | 8.439-8.496=-0.057 | | σ | 0.185-0.148=0.036 | | min | 8.292-8.371=-0.079 | | max | 8.762-8.743=0.019 |
|