iters=5 new-facts=1 prior-facts=1 | | mean | 278.844-278.696=0.148 | | σ | 0.010-0.014=-0.004 | | min | 278.832-278.684=0.147 | | max | 278.857-278.719=0.138 |
| | mean | 2731.000-2611.000=120.000 | | σ | 0.000 | | min | 2731.000-2611.000=120.000 | | max | 2731.000-2611.000=120.000 |
| | mean | 0.409-0.426=-0.017 | | σ | 0.001-0.013=-0.012 | | min | 0.407-0.416=-0.008 | | max | 0.410-0.442=-0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.900-2268.873=0.027 | | σ | 0.019-0.005=0.014 | | min | 2268.873-2268.868=0.004 | | max | 2268.922-2268.881=0.041 |
| | mean | 2731.000-2611.000=120.000 | | σ | 0.000 | | min | 2731.000-2611.000=120.000 | | max | 2731.000-2611.000=120.000 |
| | mean | 3.207-2.948=0.260 | | σ | 0.168-0.117=0.051 | | min | 2.919-2.864=0.055 | | max | 3.352-3.151=0.201 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.042-4952.363=1.679 | | σ | 1.057-0.992=0.065 | | min | 4953.240-4951.723=1.518 | | max | 4955.826-4954.125=1.700 |
| | mean | 2731.000-2611.000=120.000 | | σ | 0.000 | | min | 2731.000-2611.000=120.000 | | max | 2731.000-2611.000=120.000 |
| | mean | 8.046-8.342=-0.297 | | σ | 0.392-0.677=-0.285 | | min | 7.794-7.810=-0.016 | | max | 8.739-9.527=-0.788 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.748-5167.074=1.673 | | σ | 0.210-0.014=0.196 | | min | 5168.403-5167.066=1.337 | | max | 5168.935-5167.099=1.836 |
| | mean | 3365.400-3422.800=-57.400 | | σ | 410.562-454.531=-43.970 | | min | 2965.000-2809.000=156.000 | | max | 3785.000-3992.000=-207.000 |
| | mean | 9.201-9.234=-0.033 | | σ | 0.568-0.255=0.313 | | min | 8.540-8.985=-0.445 | | max | 9.813-9.615=0.197 |
|