iters=5 new-facts=1 prior-facts=1 | | mean | 279.509-279.317=0.192 | | σ | 0.004-0.012=-0.007 | | min | 279.502-279.304=0.198 | | max | 279.513-279.333=0.180 |
| | mean | 2766.000-2740.000=26.000 | | σ | 0.000 | | min | 2766.000-2740.000=26.000 | | max | 2766.000-2740.000=26.000 |
| | mean | 0.409-0.418=-0.009 | | σ | 0.001-0.012=-0.011 | | min | 0.407-0.404=0.003 | | max | 0.410-0.433=-0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.436-2178.263=0.173 | | σ | 0.009-0.012=-0.003 | | min | 2178.422-2178.250=0.172 | | max | 2178.444-2178.274=0.170 |
| | mean | 2766.000-2740.000=26.000 | | σ | 0.000 | | min | 2766.000-2740.000=26.000 | | max | 2766.000-2740.000=26.000 |
| | mean | 3.259-3.360=-0.101 | | σ | 0.260-0.188=0.072 | | min | 2.830-3.176=-0.346 | | max | 3.507-3.676=-0.169 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.375-5047.938=8.438 | | σ | 0.984-0.996=-0.012 | | min | 5055.797-5047.321=8.475 | | max | 5058.126-5049.706=8.420 |
| | mean | 2766.000-2740.000=26.000 | | σ | 0.000 | | min | 2766.000-2740.000=26.000 | | max | 2766.000-2740.000=26.000 |
| | mean | 8.695-8.786=-0.090 | | σ | 0.557-0.628=-0.070 | | min | 8.150-8.108=0.042 | | max | 9.534-9.613=-0.079 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.681-5185.307=8.375 | | σ | 0.126-0.091=0.035 | | min | 5193.503-5185.237=8.266 | | max | 5193.855-5185.411=8.444 |
| | mean | 3238.400-3221.600=16.800 | | σ | 331.760-469.708=-137.948 | | min | 2766.000-2740.000=26.000 | | max | 3673.000-3873.000=-200.000 |
| | mean | 9.107-8.721=0.386 | | σ | 0.516-0.161=0.355 | | min | 8.698-8.566=0.132 | | max | 9.709-8.988=0.721 |
|