iters=5 new-facts=1 prior-facts=1 | | mean | 273.405-273.422=-0.018 | | σ | 0.010-0.003=0.008 | | min | 273.395-273.420=-0.025 | | max | 273.421-273.426=-0.005 |
| | mean | 2773.000-2416.000=357.000 | | σ | 0.000 | | min | 2773.000-2416.000=357.000 | | max | 2773.000-2416.000=357.000 |
| | mean | 0.388-0.386=0.001 | | σ | 0.008-0.009=-0.001 | | min | 0.382-0.380=0.001 | | max | 0.403-0.403=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.809-1933.810=-0.001 | | σ | 0.012-0.011=0.000 | | min | 1933.794-1933.793=0.002 | | max | 1933.822-1933.823=-0.001 |
| | mean | 2773.000-2416.000=357.000 | | σ | 0.000 | | min | 2773.000-2416.000=357.000 | | max | 2773.000-2416.000=357.000 |
| | mean | 2.898-2.864=0.034 | | σ | 0.128-0.189=-0.062 | | min | 2.714-2.534=0.180 | | max | 3.074-2.984=0.090 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.256-4754.547=-0.290 | | σ | 0.814-0.912=-0.098 | | min | 4753.173-4754.107=-0.934 | | max | 4755.469-4756.176=-0.707 |
| | mean | 2773.000-2416.000=357.000 | | σ | 0.000 | | min | 2773.000-2416.000=357.000 | | max | 2773.000-2416.000=357.000 |
| | mean | 8.382-8.805=-0.423 | | σ | 0.350-0.188=0.163 | | min | 7.761-8.575=-0.815 | | max | 8.583-9.014=-0.431 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.036-4944.970=0.067 | | σ | 0.019-0.167=-0.148 | | min | 4945.014-4944.672=0.341 | | max | 4945.056-4945.063=-0.007 |
| | mean | 2988.800-2978.000=10.800 | | σ | 210.462-285.703=-75.241 | | min | 2773.000-2596.000=177.000 | | max | 3296.000-3321.000=-25.000 |
| | mean | 8.545-8.659=-0.113 | | σ | 0.116-0.248=-0.132 | | min | 8.442-8.426=0.016 | | max | 8.730-9.027=-0.296 |
|