iters=5 new-facts=1 prior-facts=1 | | mean | 278.808-278.824=-0.016 | | σ | 0.006-0.007=-0.001 | | min | 278.798-278.812=-0.014 | | max | 278.813-278.831=-0.018 |
| | mean | 2736.000-2674.000=62.000 | | σ | 0.000 | | min | 2736.000-2674.000=62.000 | | max | 2736.000-2674.000=62.000 |
| | mean | 0.410-0.412=-0.002 | | σ | 0.005-0.004=0.000 | | min | 0.405-0.407=-0.002 | | max | 0.418-0.419=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.860-2268.887=-0.027 | | σ | 0.014-0.007=0.008 | | min | 2268.835-2268.878=-0.043 | | max | 2268.869-2268.893=-0.024 |
| | mean | 2736.000-2674.000=62.000 | | σ | 0.000 | | min | 2736.000-2674.000=62.000 | | max | 2736.000-2674.000=62.000 |
| | mean | 3.124-2.946=0.177 | | σ | 0.183-0.092=0.091 | | min | 2.907-2.881=0.026 | | max | 3.313-3.105=0.208 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.265-4954.156=0.109 | | σ | 0.938-0.594=0.344 | | min | 4953.664-4953.836=-0.172 | | max | 4955.923-4955.215=0.708 |
| | mean | 2736.000-2674.000=62.000 | | σ | 0.000 | | min | 2736.000-2674.000=62.000 | | max | 2736.000-2674.000=62.000 |
| | mean | 8.045-7.947=0.098 | | σ | 0.401-0.239=0.162 | | min | 7.679-7.708=-0.028 | | max | 8.703-8.342=0.361 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.807-5168.826=-0.019 | | σ | 0.093-0.092=0.001 | | min | 5168.704-5168.722=-0.017 | | max | 5168.885-5168.908=-0.023 |
| | mean | 3395.800-3363.200=32.600 | | σ | 490.223-467.063=23.159 | | min | 2828.000-2736.000=92.000 | | max | 4128.000-3969.000=159.000 |
| | mean | 9.464-9.089=0.375 | | σ | 0.305-0.492=-0.188 | | min | 9.080-8.412=0.668 | | max | 9.909-9.562=0.346 |
|