iters=5 new-facts=1 prior-facts=1 | | mean | 326.570-326.579=-0.008 | | σ | 0.039-0.031=0.008 | | min | 326.503-326.525=-0.022 | | max | 326.603-326.603=-0.000 |
| | mean | 2606.000-2588.000=18.000 | | σ | 0.000 | | min | 2606.000-2588.000=18.000 | | max | 2606.000-2588.000=18.000 |
| | mean | 0.425-0.425=-0.001 | | σ | 0.003-0.007=-0.004 | | min | 0.421-0.421=0.001 | | max | 0.429-0.438=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.730-1988.749=-0.019 | | σ | 0.009-0.007=0.002 | | min | 1988.718-1988.738=-0.020 | | max | 1988.739-1988.755=-0.016 |
| | mean | 2606.000-2588.000=18.000 | | σ | 0.000 | | min | 2606.000-2588.000=18.000 | | max | 2606.000-2588.000=18.000 |
| | mean | 2.790-2.666=0.124 | | σ | 0.147-0.017=0.130 | | min | 2.671-2.645=0.026 | | max | 2.963-2.692=0.271 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.503-4813.394=0.109 | | σ | 7.763-7.848=-0.085 | | min | 4809.471-4809.658=-0.186 | | max | 4827.378-4827.429=-0.052 |
| | mean | 2606.000-2588.000=18.000 | | σ | 0.000 | | min | 2606.000-2588.000=18.000 | | max | 2606.000-2588.000=18.000 |
| | mean | 8.279-8.334=-0.055 | | σ | 0.515-0.624=-0.109 | | min | 7.818-7.756=0.062 | | max | 9.021-9.151=-0.130 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.130-5001.143=-0.014 | | σ | 0.022-0.032=-0.010 | | min | 5001.101-5001.113=-0.012 | | max | 5001.156-5001.193=-0.038 |
| | mean | 2972.200-2980.000=-7.800 | | σ | 398.920-414.561=-15.641 | | min | 2606.000-2588.000=18.000 | | max | 3534.000-3562.000=-28.000 |
| | mean | 9.785-9.774=0.011 | | σ | 0.211-0.388=-0.176 | | min | 9.446-9.268=0.178 | | max | 10.024-10.295=-0.270 |
|