iters=5 new-facts=1 prior-facts=1 | | mean | 324.021-324.012=0.009 | | σ | 0.050-0.055=-0.005 | | min | 323.931-323.913=0.019 | | max | 324.047-324.038=0.009 |
| | mean | 2888.000-2773.000=115.000 | | σ | 0.000 | | min | 2888.000-2773.000=115.000 | | max | 2888.000-2773.000=115.000 |
| | mean | 0.428-0.425=0.003 | | σ | 0.004-0.001=0.003 | | min | 0.425-0.423=0.002 | | max | 0.435-0.427=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.595-1984.585=0.010 | | σ | 0.017-0.023=-0.006 | | min | 1984.574-1984.561=0.014 | | max | 1984.611-1984.608=0.003 |
| | mean | 2888.000-2773.000=115.000 | | σ | 0.000 | | min | 2888.000-2773.000=115.000 | | max | 2888.000-2773.000=115.000 |
| | mean | 2.668-2.654=0.014 | | σ | 0.140-0.111=0.029 | | min | 2.582-2.558=0.024 | | max | 2.912-2.794=0.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.243-4808.037=0.206 | | σ | 7.761-7.866=-0.105 | | min | 4804.702-4803.617=1.085 | | max | 4822.126-4822.076=0.049 |
| | mean | 2888.000-2773.000=115.000 | | σ | 0.000 | | min | 2888.000-2773.000=115.000 | | max | 2888.000-2773.000=115.000 |
| | mean | 8.758-8.580=0.178 | | σ | 0.306-0.362=-0.056 | | min | 8.447-8.116=0.331 | | max | 9.134-8.978=0.155 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.801-4995.740=0.061 | | σ | 0.025-0.160=-0.135 | | min | 4995.775-4995.458=0.317 | | max | 4995.838-4995.843=-0.005 |
| | mean | 3091.200-3048.600=42.600 | | σ | 299.271-344.175=-44.904 | | min | 2888.000-2773.000=115.000 | | max | 3564.000-3570.000=-6.000 |
| | mean | 8.512-8.498=0.015 | | σ | 0.108-0.118=-0.010 | | min | 8.449-8.406=0.043 | | max | 8.704-8.690=0.014 |
|