iters=5 new-facts=1 prior-facts=1 | | mean | 278.841-278.824=0.017 | | σ | 0.010-0.007=0.003 | | min | 278.826-278.812=0.014 | | max | 278.852-278.831=0.021 |
| | mean | 2695.000-2674.000=21.000 | | σ | 0.000 | | min | 2695.000-2674.000=21.000 | | max | 2695.000-2674.000=21.000 |
| | mean | 0.415-0.412=0.003 | | σ | 0.014-0.004=0.009 | | min | 0.406-0.407=-0.001 | | max | 0.439-0.419=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.899-2268.887=0.012 | | σ | 0.014-0.007=0.007 | | min | 2268.876-2268.878=-0.002 | | max | 2268.913-2268.893=0.020 |
| | mean | 2695.000-2674.000=21.000 | | σ | 0.000 | | min | 2695.000-2674.000=21.000 | | max | 2695.000-2674.000=21.000 |
| | mean | 2.911-2.946=-0.036 | | σ | 0.141-0.092=0.049 | | min | 2.742-2.881=-0.139 | | max | 3.132-3.105=0.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.252-4954.156=0.097 | | σ | 0.919-0.594=0.325 | | min | 4953.743-4953.836=-0.093 | | max | 4955.889-4955.215=0.674 |
| | mean | 2695.000-2674.000=21.000 | | σ | 0.000 | | min | 2695.000-2674.000=21.000 | | max | 2695.000-2674.000=21.000 |
| | mean | 8.157-7.947=0.210 | | σ | 0.515-0.239=0.275 | | min | 7.804-7.708=0.097 | | max | 9.011-8.342=0.669 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.747-5168.826=-0.079 | | σ | 0.124-0.092=0.031 | | min | 5168.557-5168.722=-0.165 | | max | 5168.903-5168.908=-0.004 |
| | mean | 3398.400-3363.200=35.200 | | σ | 491.711-467.063=24.648 | | min | 2807.000-2736.000=71.000 | | max | 4072.000-3969.000=103.000 |
| | mean | 9.297-9.089=0.208 | | σ | 0.267-0.492=-0.225 | | min | 9.028-8.412=0.615 | | max | 9.616-9.562=0.053 |
|